Loading Nat in the mirror: "Not finite" implies "Infinite"
5 kyu
Loading Nat in the mirror: "Not finite" implies "Infinite"
5 kyu
Nat in the mirror: "Not finite" implies "Infinite"
40solitude
-
Language
- Coq
-
Language Version
Loading description...
Theorem Proving
Mathematics
Algorithms