Geeks
ericfinster
/
hott-mgs
Homotopy Type Theory Exercises for MGS 2023
Primary Language
Agda
hott-mgs GitHub
Markdown
Readme
0
Issues
12
Stargazers
1
Watcher
This repository is not active