Geeks
EdAyers
/
edlib
Some personal experiments in Lean
Primary Language
Lean
edlib GitHub
Markdown
Readme
0
Issues
2
Stargazers
3
Watchers
Watchers
jhcloos
EdAyers
Cambridge, UK
eemailme