Pierre Courtieu (Nov 14 2022 at 13:28): Pierre Courtieu (Nov 14 2022 at 13:28):Hi there.
We are happy to announce the release of Proof General version 4.5.
Details on this discourse post.
Erik Martin-Dorel (Nov 14 2022 at 14:14):Pierre Courtieu said:
Hi there.
We are happy to announce the release of Proof General version 4.5.
Details on this discourse post.
See also the accompanying Tweet thread, with a few comments:
https://twitter.com/ErikMartinDorel/status/1592149019354345472
[ANN] Dear Coq/PhoX/EasyCrypt/Qrhl-tool users and developers: we are happy to announce the release of Proof-General version 4.5 :computer::sparkles: → for a summary of the new features or the documentation in PDF, see the release notes in GitHub: https://github.com/ProofGeneral/PG/releases/tag/v4.5
- Martin-Dorel, Erik (@ErikMartinDorel)Last updated: Apr 18 2024 at 04:02 UTC