Stars
12
results
for source starred repositories
written in Lean
Clear filter
A collection of formalized statements of conjectures in Lean.
Demo for high-performance type theory elaboration
Lean 4 kernel / 'external checker' written in Lean 4
Formally Verified Arguments of Knowledge in Lean
Intuitive, type-safe expression quotations for Lean 4.
Natural language tactics to teach mathematics using Lean 4
A formal consistency proof of Quine's set theory New Foundations