formal-proofs topic
List
formal-proofs repositories
magic-in-ten-mins
735
Stars
36
Forks
Watchers
十分钟魔法练习
principia
199
Stars
5
Forks
Watchers
The Principia Rewrite
idris-ct
250
Stars
22
Forks
Watchers
formally verified category theory library
mathlib
1.6k
Stars
298
Forks
Watchers
Lean 3's obsolete mathematical components library: please use mathlib4
LibHyps
19
Stars
3
Forks
Watchers
A Coq library providing tactics to deal with hypothesis
hydra-battles
60
Stars
12
Forks
Watchers
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
PSL
63
Stars
9
Forks
Watchers
formal_book
35
Stars
6
Forks
Watchers
Formalizing "Proofs from THE BOOK"
archsat
25
Stars
3
Forks
Watchers
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.