TOOLS FOR STEM
Would you like to react to this message? Create an account in a few clicks or log in to continue.

Go down
MK
MK
Admin
Posts : 37
Join date : 2019-08-11
Location : EARTH
https://toolsforstem.forumotion.com

Coq [interactive theorem prover] Empty 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
Back to top
Permissions in this forum:
You cannot reply to topics in this forum