Geeks
leanprover-community
/
lean-auto
Experiments in automation for Lean
Primary Language
Lean
Apache License 2.0
Apache-2.0
lean-auto GitHub
Markdown
Readme
16
Issues
66
Stargazers
8
Watchers
Watchers
jhcloos
avigad
Pittsburgh
alreadydone
Heidelberg / Shenzhen
yangky11
New York, NY
tomhoule
Berlin, DE
Kiiyya
Germany, Karlsruhe
eemailme
hargoniX
Munich, Germany