Loading Verified fulcrum (Theorem prover showdown #3)
Beta
Loading Verified fulcrum (Theorem prover showdown #3)
Beta
Verified fulcrum (Theorem prover showdown #3)
-
Language
- Coq
-
Language Version
Loading description...
Theorem Proving
Fundamentals