Geeks
guillaumebrunerie
/
JamesConstruction
Formalization of the James construction in Agda
Primary Language
Agda
Other
NOASSERTION
JamesConstruction GitHub
Markdown
Readme
0
Issues
10
Stargazers
4
Watchers
Stargazers
favonia
Minneapolis, MN, USA
scott-fleischman
vikraman
Bologna, Italy
DanGrayson
awkure
4096R/C20C9D19
timjb
Augsburg, Europe
ice1000
Pennsylvania, Gensokyo
anqurvanillapy
Chengdu, China
forked-from-1kasper
Milky Way, Solar System, Earth
kangrongji
somewhere, somewhere