coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] [ANNOUNCE] pyCoq initial release

From: Timothy Carstens <intoverflow AT gmail.com>
To: Coq Club <coq-club AT inria.fr>, thierry martinez <Thierry.Martinez AT inria.fr>
Subject: Re: [Coq-Club] [ANNOUNCE] pyCoq initial release
Date: Thu, 23 Sep 2021 12:38:54 -0700
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=intoverflow AT gmail.com; spf=Pass smtp.mailfrom=intoverflow AT gmail.com; spf=None smtp.helo=postmaster AT mail-pf1-f182.google.com
Ironport-hdrordr: A9a23:XE/6M6jm0jP8ByDGzq7hRsQviXBQXscji2hC6mlwRA09TyX4rbHMoB11726QtN98Yh8dcLO7WJVoP0msl6KdiLN5VdzJYOCBggqVxepZgbcKrQeMJ8SHzIFg6Zs=
Ironport-phdr: A9a23:2ChVORGwEXF5RIwMnanjdZ1Gf3tLhN3EVzX9CrIZgr5DOp6u447ldBSGo6k31BmYBM6GtLptsKn/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys55HfeQFFiCeybb5yLhi9sBncuNQRjYZ+MKg61wHHomFPe+RYxGNoIUyckhPh7cqu/5Bt7jpdtes5+8FPTav1caI4TadFDDs9KGA6+NfrtRjYQgSR4HYXT3gbnQBJAwjB6xH6Q4vxvy7nvedzxCWWIcv7Rq0vVD+886lkVgPniCYfNz447m7XjNBwjLlGqx6lvhBz3pLYbJ2QOPd4Y6jTf84VRXBZU8leWSxOAIOyYYUMAeQcI+hXs5LwqEESoRakHwSgGP/jxz1Oi3Tr3aM6yeMhEQTe0QI+HtIOtXPUrMn1NKYSTOu40rPHzS/Yb/NKxzj97pPIeQ0mrPGNW7Jwbc3RyVcxGAPfgFWQrYvlPj2O2+QCtmiU9etgVea1h2E7rAFxpyGiy8ExgYbGmowb0ErL9TllwIkrP924TlZ2bMO4HZVety+XOZV7T98iTW9opCs21qAKt5G7cSYKzJkqwx3SZvybfoWG7BzvSvidLCt5iX9kZr+xiBa//Eq8x+D6S8K63lFKri9fndnNsHAAzxPT6smbSvt940euwiyD2BzU6uFBJ00/iKnVK4Y5z7IuipYetV7PEyz2lUnskqOaa1ko9vK15+nkfLnroIKXOZVuhQHkKKsun9SyAeQmPQgKWGiW4eG826fi/U39WblKlvM2nrTAvJDUOMgWpbC1DxVa0oYk7Ba/ADOm38oCkXYbK1JFfQqLj4nvO17QPPD1Femzj0ionTtxxP3LPqftDovQInTfirvtYLVw51BExAo2199f5pZUCr8bIPL0X0/8rN3YDhklMwyz3eboFs991o0aWWKIDK6UK6zSsVqS6eIuJ+mAfpMauDH4K/Q9/f7hkWc5mUMBfamuxZYYdHe4Hu1/L0qFZXrsn8wOHHwRvgs+SezqkEeNXSRSZ3a0RaI85ys0BJioDYfZXoqtmqCO3D+nHp1KYWBLEkyMEXLyeIWeR/cMaSSSLdF6nz0FVLihTpQu1Qu0uwPgyrpnKPDU+iwCup752th1/b6bqRZn3jttR++ZzmvFG2pzhyYDQyI89KF5u010jFmZh+wwn/xZGMZJ9rtMWx0mNJjR3aQuN9DzVxjbb5GsQUy6Q9OrExkwSMgwypkAeRAuNc+li0X/3i+tH78E35eCHoco/6THlyzwIdp61Xvc2q0mkHEpR8JOMSutgasppFubPJLAj0jMz/XiTq8bxiOYsT7blQJmWWlXVQdxVePOWnVNPiM+Qvz240rDS/mlDrF1a2OpKOaHI6pOL8Xn1BBIHae5ftvZZG21liG7AhPantux

That logo is amazing 👏

On Thu, Sep 23, 2021 at 10:41 AM Emilio Jesús Gallego Arias <e AT x80.org> wrote:

Dear Coq users and developers,

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

https://github.com/ejgallego/pyCoq

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:

a) we feel there is significant demand for this kind of library

b) 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

[Coq-Club] [ANNOUNCE] pyCoq initial release, Emilio Jesús Gallego Arias, 09/23/2021
- Re: [Coq-Club] [ANNOUNCE] pyCoq initial release, Timothy Carstens, 09/23/2021