-
Notifications
You must be signed in to change notification settings - Fork 0
An Agda formalization of "division by 2" in classical ZF without choice.
smimram/div2
ErrorLooks like something went wrong!
About
An Agda formalization of "division by 2" in classical ZF without choice.
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published