Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with axiom-of-choice
A curated list of projects in awesome lists tagged with axiom-of-choice .
https://github.com/smimram/div2
An Agda formalization of "division by 2" in classical ZF without choice.
agda axiom-of-choice classical-logic division homotopy-type-theory
Last synced: 18 Dec 2024
