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
83
Stars
11
Forks
83
Watchers
A template for blueprint-driven formalization projects in Lean.
natural-number-game-solutions
21
Stars
8
Forks
21
Watchers
Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive + automated theorem prover developed by Microsoft Research cal...