Stream: Coq Platform devs & users

Topic: Linux users, a snap package is finally available

view this post on Zulip Enrico Tassi (Jan 12 2021 at 09:51):

A snap package for Coq 8.13.0 and the Coq Platform is finally available for testing:
Feedback is welcome.

Last updated: Jun 03 2023 at 05:01 UTC