You need to sign in or sign up before continuing.×
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
