A port of Coq to Javascript -- Run Coq in your Browser

2other

2 years ago

Visual Studio Code Extension and Language Server Protocol for Coq

OCaml109lgpl-2.1

5 months ago

coqideinteractive-theorem-proving

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

OCaml116other

5 months ago

coqjsonmachine-learning-api