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:
- Emilio J. Gallego Arias (Inria, Univ. Paris, IRIF)
- Thierry Martinez (Inria)
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