Loading Classical Axioms: Peirce's Law-Equivalent
5 kyu
Loading Classical Axioms: Peirce's Law-Equivalent
5 kyu
Classical Axioms: Peirce's Law-Equivalent
-
Language
- Idris (Beta)
-
Language Version
Loading description...
Logic
Algorithms