Stream: Coq Platform devs & users

Topic: Feedback


view this post on Zulip Théo Zimmermann (Jan 18 2021 at 12:04):

For what is worth, I had my first (distant) Coq class with about 10 students today. A third had Coq already installed and a third were Mac users. The rest were Linux users (no Windows user). Among the Linux users, most were on Ubuntu 18.04, which contains a very old Coq version (8.6) and one was on Linux Mint (which doesn't include Coq) so I encouraged them to install via the snap package instead. It worked well (included for the Mint user) except that a student (on Ubuntu) had a .desktop-related issue and could only run CoqIDE through the command-line (I forgot to ask the others if they had this problem too). One student also installed via opam by running the platform scripts.


Last updated: Jan 30 2023 at 11:03 UTC