Repositories tagged with "formal-proofs"
mathlib3
leanprover-community
โLean 3's obsolete mathematical components library: please use mathlib4โ
magic-in-ten-mins
niltok
โๅๅ้้ญๆณ็ปไน โ
idris-ct
statebox
โformally verified category theory libraryโ
principia-rewrite
LogicalAtomist
โThe Principia Rewriteโ
FormalBook
mo271
โFormalizing "Proofs from THE BOOK"โ
hydra-battles
rocq-community
โVariations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]โ
PSL
data61
rinha
aripiprazole
โ๐งช | Rinha de Backend Lean4โ
