Python bindings for the Coq interactive proof assistant

OCaml48

2 years ago

coqmachine-learningpython

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