Théo Zimmermann (Jan 18 2021 at 12:04): 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: Apr 19 2024 at 04:02 UTC