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