Starred repositories
3
results
for source starred repositories
written in Lean
Clear filter
Lean 4 programming language and theorem prover
A zero-knowledge Lean4 compiler and kernel