Lists (1)
Starred repositories
5
results
for source starred repositories
written in Lean
Clear filter
Lean 4 programming language and theorem prover
A collection of formalized statements of conjectures in Lean.
A formal verification of Linear PCP SNARKs.
Lean formalizations of Putnam-like problems