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
Stargazers
5HT
@synrc
alok
Berkeley, CA
alreadydone
Bethesda, MD / Shenzhen
BrentKylling
Edward-Sun
Carnegie Mellon University
GanjinZero
DAMO Academy
HaotianLiu123
joepalermo
Some-random
Baltimore
toontran
Lewisburg PA
venom12138
Beijing
wellecks
Carnegie Mellon University
zijunchen68