A port of Coq to Javascript -- Run Coq in your Browser
-
Updated
Nov 13, 2023 - TypeScript
A port of Coq to Javascript -- Run Coq in your Browser
The Slate Interactive Theorem Prover
Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm
Visual Studio Code Extension(s) for Rzk proof assistant.
Computerized proof system on the web
A drag-and-drop proof assistant inspired by Scratch.
A Typescript/JS framework for building proof assistants. Under development.
Add a description, image, and links to the proof-assistant topic page so that developers can more easily learn about it.
To associate your repository with the proof-assistant topic, visit your repo's landing page and select "manage topics."