Geeks
smimram
/
div2
An Agda formalization of "division by 2" in classical ZF without choice.
Primary Language
Agda
div2 Home Page
div2 GitHub
Markdown
Readme
0
Issues
2
Stargazers
3
Watchers
Stargazers
CYBAI
Tokyo
dcclogin
Indiana University