formal-mathematics topic
List
formal-mathematics repositories
principia
199
Stars
5
Forks
Watchers
The Principia Rewrite
mathlib
1.6k
Stars
298
Forks
Watchers
Lean 3's obsolete mathematical components library: please use mathlib4
slate
23
Stars
1
Forks
Watchers
The Slate Interactive Theorem Prover
lean-matrix-cookbook
45
Stars
6
Forks
Watchers
The matrix cookbook, proved in the Lean theorem prover
LeanCopilot
957
Stars
83
Forks
Watchers
LLMs as Copilots for Theorem Proving in Lean
LeanProject
24
Stars
2
Forks
Watchers
Template for blueprint-driven formalization projects in Lean.