Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/niltok/magic-in-ten-mins
十分钟魔法练习
adt formal-proofs formal-verification functional-programming hkt java lambda-calculus monad tutorial
Last synced: 31 May 2024
![](https://github.com/niltok.png)
https://github.com/mo271/formal_book
Formalizing "Proofs from THE BOOK"
formal-proofs lean mathematics
Last synced: 30 May 2024
![](https://github.com/mo271.png)
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/leanprover-community.png)
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/aripiprazole.png)
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/statebox.png)
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/coq-community.png)
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
![](https://github.com/Matafou.png)
https://github.com/unitb/temporal-logic
formal-methods formal-proofs lean temporal-logic verification
Last synced: 24 Mar 2024
![](https://github.com/unitb.png)
https://github.com/bryangingechen/lean-matroids
matroids in lean
formal-mathematics formal-proofs lean matroids theorem-proving
Last synced: 24 Mar 2024
![](https://github.com/bryangingechen.png)