Geeks
choukh
/
agda-googology
formalized googology in agda
Primary Language
CSS
GNU General Public License v3.0
GPL-3.0
agda-googology GitHub
Markdown
Readme
0
Issues
2
Stargazers
1
Watcher
Watchers
choukh
Tokyo