Geeks
leanprover-community
/
mathlib3port
Synport output from mathport for mathlib3
Primary Language
Lean
mathlib3port GitHub
Markdown
Readme
0
Issues
11
Stargazers
17
Watchers
No issues in this repository yet.