Geeks
aaronallen8455
/
lean-cat
Primary Language
Lean
lean-cat GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
Learning lean4 by building category theory constructions from scratch.