Lists (1)
Starred repositories
6
stars
written in Lean
Clear filter
Lean 4 programming language and theorem prover
A collection of formalized statements of conjectures in Lean.
Simple verification of Rust programs via functional purification in Lean 2(!)
A formal verification of Linear PCP SNARKs.
Lean formalizations of Putnam-like problems