Geeks
bollu
/
lean4-entemology
Where we collect lean4 bugs
Primary Language
Lean
lean4-entemology GitHub
Markdown
Readme
0
Issues
4
Stargazers
3
Watchers
Watchers
bollu
University of Cambridge
eemailme
hargoniX
Lean FRO