Loading But WHY is LEM unprovable?
5 kyu
Loading But WHY is LEM unprovable?
5 kyu
But WHY is LEM unprovable?
20 of 24dramforever
-
Language
- Coq
- Lean
-
Language Version
Loading description...
Logic
Theorem Proving
Fundamentals