Geeks
ToposInstitute
/
poly
Primary Language
TeX
MIT License
MIT
poly Home Page
poly GitHub
Markdown
Readme
2
Issues
113
Stargazers
18
Watchers
Issues
Closed issue
Hello!
#5 opened
3 years ago
by
bond15
1
Closed issue
Agda dependencies are unclear
#7 opened
3 years ago
by
o1lo01ol1o
1