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:
- we feel there is significant demand for this kind of library
- 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
pythonlib team for quickly
implementing some missing features that made this project possible.
Thierry and Emilio