Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/mo271/formal_book

Formalizing "Proofs from THE BOOK"

formal-proofs lean mathematics

Last synced: 30 May 2024

https://github.com/leanprover-community/mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

formal-mathematics formal-methods formal-proofs lean proof-automation theorem-proving

Last synced: 30 May 2024

https://github.com/aripiprazole/rinha

🧪 | Rinha de Backend Lean4

formal-proofs lean4 pgsql rinha-de-backend-2023-q3

Last synced: 30 May 2024

https://github.com/statebox/idris-ct

formally verified category theory library

category-theory formal-proofs formal-verification

Last synced: 25 May 2024

https://github.com/coq-community/hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

coq coq-nix-toolbox discrete-mathematics docker-coq-action formal-proofs hydra-battles ordinal-notations primitive-recursive-functions

Last synced: 03 May 2024

https://github.com/Matafou/LibHyps

A Coq library providing tactics to deal with hypothesis

coq formal-proofs hypothesis proof-assistant tactical tactics

Last synced: 03 May 2024