Lean
https://lean-lang.org/
Lean Prover
Repositories
Issues
Comments
Results
0
issues of
Lean