jsCoq
A JavaScript port of the Coq proof assistant that runs entirely in the browser, enabling interactive theorem proving online.
What is jsCoq?
jsCoq is a JavaScript port of the Coq proof assistant that runs entirely in the browser, allowing users to write, edit, and verify formal proofs online without any server-side dependencies. It provides an interactive IDE for Coq, enabling step-by-step proof development and exploration directly in a web environment. The project aims to lower the barrier to entry for formal verification and facilitate educational use of Coq.
Educators, students, and researchers in formal methods who want to teach or learn Coq without local installation, as well as developers interested in web-based interactive theorem proving environments.
jsCoq eliminates the need for complex Coq installations by running entirely in the browser, making it instantly accessible for classrooms, tutorials, and collaborative proof development. Its integration with web technologies allows for easy embedding in educational materials and seamless sharing of proof documents.
Overview
A port of Coq to Javascript -- Run Coq in your Browser
Use Cases
Best For
- Teaching Coq and formal verification in online or classroom settings
Related Projects
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
