Loading EM implies LPO, LPO implies LLPO
5 kyu
Loading EM implies LPO, LPO implies LLPO
5 kyu
EM implies LPO, LPO implies LLPO
60 of 79solitude
-
Language
- Agda (Beta)
- Coq
-
Language Version
Loading description...
Theorem Proving
Mathematics
Logic
Algorithms