Giters
choukh
/
agda-lvo
large veblen ordinal in agda
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
5
Watchers:
2
Issues:
0
Forks:
0
choukh/agda-lvo Stargazers
Chou Kyuhei
choukh
Hexirp
Hexirp
ST-48-1240162
Ilmari Vacklin
wolverian
zStruCat