Geeks
sto0pkid
/
Godelian
Godelian stuff in Agda
Primary Language
Agda
Godelian GitHub
Markdown
Readme
0
Issues
4
Stargazers
3
Watchers
Stargazers
aindilis
automenta
koo5
Prague
sto0pkid