A snap package for Coq 8.13.0 and the Coq Platform is finally available for testing: https://github.com/coq/platform/tree/v8.13/linux/snap Feedback is welcome.
Last updated: Apr 20 2024 at 06:02 UTC