Loading Is nat equal to bool?

6 kyu

Loading Is nat equal to bool?

Loading description...

Theorem Proving
Logic
Fundamentals