Geeks
sweeneyde
/
1mfld
Work on classifying 1-manifolds in lean
Primary Language
Lean
1mfld GitHub
Markdown
Readme
0
Issues
0
Stargazers
3
Watchers
No issues in this repository yet.