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

• Participant: Emilio Jesus Gallego Arias

• Partners: Mines ParisTech - Technion, Israel Institute of Technology

• Contact: Emilio Jesus Gallego Arias

• Publication: jsCoq: Towards Hybrid Theorem Proving Interfaces

• URL: https://github.com/ejgallego/jscoq