Geeks
jesse-michael-han
/
lean-tpe-public
The Lean Theorem Proving Environment
Primary Language
Lean
Apache License 2.0
Apache-2.0
lean-tpe-public GitHub
Markdown
Readme
3
Issues
13
Stargazers
4
Watchers
Watchers
alreadydone
Heidelberg / Shenzhen
jesse-michael-han
University of Pittsburgh
jhcloos
toontran
Lewisburg PA