Stream: PyCoq

Topic: Initial release

view this post on Zulip Emilio Jesús Gallego Arias (Sep 23 2021 at 17:51):

Hi all, the preview release of pyCoq has been announced, see https://github.com/ejgallego/pycoq and https://coq.discourse.group/t/ann-pycoq-preview-release/1449

Last updated: May 20 2022 at 10:03 UTC