Geeks
CoqHott
/
seminar-setoid
Toy implementation of TT^obs for the Gallinette Seminar
Primary Language
Agda
seminar-setoid GitHub
Markdown
Readme
0
Issues
0
Stargazers
5
Watchers
seminar-setoid
Toy implementation of TT^obs for the Gallinette Seminar