[ANN] PyCoq preview release

Dear Coq users and developers,

we are happy to announce the initial release of pyCoq, a Python library to interact with Coq programmatically.

The library is very experimental at the moment; expect significant non-backward compatible changes and problems.

We are however doing an early-stage announcement due to:

  1. we feel there is significant demand for this kind of library
  2. we’d love to gather early feedback from Python programmers so we begin to shape a more stable design

Contributions and comments are much welcome!

The maintainers of pyCoq are:

We’d like to thank the ppx_python and pythonlib team for quickly
implementing some missing features that made this project possible.

Have fun,
Thierry and Emilio

1 Like