coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [ANNOUNCE] pyCoq initial release

From: Emilio Jesús Gallego Arias <e AT x80.org>
To: Coq Club <coq-club AT inria.fr>
Cc: "thierry martinez" <Thierry.Martinez AT inria.fr>
Subject: [Coq-Club] [ANNOUNCE] pyCoq initial release
Date: Thu, 23 Sep 2021 19:40:34 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
Ironport-hdrordr: A9a23:UoLMW6sjfkVRHg9Yxi9pwoCQ7skDa9V00zEX/kB9WHVpm62j5qOTdZsgpHrJYVoqNk3I+urhBED/ewK/yXcd2+B4Vt2ftW/d2VdAR7sP0WKN+VDd8lXFmdJg6Q==
Ironport-phdr: A9a23:GRXteBeFEF9gTNravFH3ckc6lGM+Bd7LVj580XLHo4xHfqnrxZn+JkuXvawr0AWRG9SCoK8bw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PPbwlSgDexfLx+IRW0oA7MqsQYnIxuJ7orxBDUuHVIYeNWxW1pJVKXgRnx49q78YBg/SpNpf8v7tZMXqrmcas2S7xYFykmPHsu5ML3rxnDTBCA6WUaX24LjxdHGQnF7BX9Xpfsriv3s/d21SeGMcHqS70/RC+v5Ll3RhD2lCgHNiY58GDJhcx2kKJbuw+qqxhmz4LJfI2ZKP9yc6XAdt0YWGVBRN5cWSxfDI2hYYUBDOQOMulEoITmu1sCsQGzCRWwCO71yDJFgGL9060g0+QmFAHLxAMuH9cPsHTQrdX1M78dX+Srw6nT1y3DdOtZ1zbn54jMdhAuv/6MXbVofsfN00kvFhnKjk6NooHiITyYzesMvmuH4+Z6UuKvkWEnphh3rzOyycgilpPHiZgJylDY6yp52oA1KMW2RkN/YNOpDJhduiGEO4drQs0uXX9ktSk0xLAIuJO2fiYHxYg7yxPbb/GKc4iF7BL+WOieIzp2inJrda6xihuy90Wr1+PyVs6x0FlQrypFlMHBtn8M1xzP6siHV+By8l291jaI0gDe7PxPL0MslafDNpIswb09moANvUjdHyL6glj6ga2Lekk+5+Sl5frrbq3lq5OBLYN4lwXzP6s0lsChA+k0KBUCUmiY9Om6ybbt51f2QK9Qgf0ziqTZsI7VJcAcpqOhDA5Y0Zov5wy4Dze839QUhXgHLFRbdxKbl4XlJlLDLfPiAfuhnVihkS1ny+3EM7H8GJnBM3bOnKn5cbZ48UFcyQ4zzd5F55JTD7EMOOz8V1T+tdHbEhM1KQu0w/zoCNllzIMRRXqPArOFMKPVqVKI+ucvLPOWZI8JuTb9LeYq6uXvjH84nF8SZrOp0oENZHC5GPRmOUSZbmD2jtcPC2cAphA+Q/DyiF2eTT5TYG6/UL475jEiEY6pEYPDRp22j7Gaxye6HphWZnhcBVyWEHfocZ+EW/YWZy6ILM9hiG9Mab/0YIg4nTqqqQWyn7FgN6/f/jASnZPlztl8oePJw0Ic7ztxWumY0mWMSFZWk3iaXAgZ1aR7rEN6/X6Z0KFjy6hVPcwDv7VOSAhsZs2U9PBzF92nAlGJRdyOUlvzB4z+WVnZr/ohk4dIZFxySYzKZv/rz3ryRbgPmO7SbHTR2rKMhz72Pckvkx77

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