β GitHub
Coq
by @github
Formal language and environment for programming and specification which facilitates interactive development of machine-checked proofs.
by @github
Formal language and environment for programming and specification which facilitates interactive development of machine-checked proofs.