Reviews
Python bindings for the Coq interactive proof assistant
Search similar apps
License
Python bindings for the Coq interactive proof assistant
Creator
Related apps
coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
OCaml153lgpl-2.1
28 days ago
coqideinteractive-theorem-proving