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: Feb 09 2023 at 02:02 UTC