Starred repositories
9
results
for source starred repositories
written in Lean
Clear filter
Lean 4 programming language and theorem prover
An introduction to theorem proving in Lean for the impatient.
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
Tactics for discharging Lean goals into SMT solvers.
Formalization of Mathematical Logic
Helper toolkit for creating your own Lean 4 UserWidgets