Loading Is nat equal to bool?
6 kyu
Loading Is nat equal to bool?
6 kyu
Is nat equal to bool?
18 of 97dramforever
-
Language
- Agda (Beta)
- Coq
- Lean
-
Language Version
Loading description...
Theorem Proving
Logic
Fundamentals