pycoq

Python bindings for the Coq interactive proof assistant

License

Python bindings for the Coq interactive proof assistant

Creator

ejgallego

Related apps

coq-lsp

coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

OCaml153lgpl-2.1

19 days ago

coqideinteractive-theorem-proving