Formal Verification

Discover 1 Formal Verification product built by the Gitfound community.

• jsCoq

  jsCoq is a web-based integrated development environment for the Coq Proof Assistant that runs entirely in the browser. It enables users to write, verify, and share formal proofs without needing to in…