pycoq

Python bindings for the Coq interactive proof assistant

50 stars

4 watching

4 forks

Language: OCaml

last commit: over 2 years ago

Linked from 1 awesome list

coqmachine-learningpythonverification

Backlinks from these awesome lists:

coq-community/awesome-coq