jsCoq
Category: Education & Learning › Coding Bootcamps › browser-based proof assistants
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 install local software.