Geeks
dselsam
/
lean
Lean Theorem Prover
Primary Language
C++
Apache License 2.0
Apache-2.0
lean Home Page
lean GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
Watchers
eemailme
jhcloos