Section: New Software and Platforms
jsCoq
Keywords: Coq - Program verification - Interactive - Formal concept analysis - Proof assistant - Ocaml - Education - JavaScript
Functional Description: jsCoq is an Online Integrated Development Environment for the Coq proof assistant and runs in your browser! It aims to enable new UI/interaction possibilities and to improve the accessibility of the Coq platform itself.
Release Functional Description: - Coq 8.10 support - Much improved interaction and general experience - Open / Save dialogs - AST and full serialization of Coq's datatypes - NPM packaging - Timeout support
-
Partners: Mines ParisTech - Technion, Israel Institute of Technology
-
Publication: jsCoq: Towards Hybrid Theorem Proving Interfaces