Coq [interactive theorem prover]
Sat Aug 31, 2019 4:18 am
Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification.
LINK
https://github.com/coq/coq
LINK
https://github.com/coq/coq
Permissions in this forum:
You cannot reply to topics in this forum
|
|