Skip to content

Coq Platform 2021.02.0

Compare
Choose a tag to compare
@Zimmi48 Zimmi48 released this 26 Feb 13:31
· 51 commits to 2021.02 since this release
2021.02.0
6a30a14
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: 4AEE18F83AFDEB23
Learn about vigilant mode.

This release of the Coq Platform contains Coq 8.13.1 and several additional packages (same list as in the 8.12 Windows installer). See the ReadMe for details on the names and versions of the included packages.

There are two ways to install the Coq Platform:

  • Beginners are advised to rely on the binary packages. There are Windows installers (see asset list below) and a Snap installer (see README_Linux for details). A macOS binary installer is planned for the 2021.02.1 release.

  • Experienced users are advised to install from source using the opam based interactive platform scripts.

See the following OS-specific documentation for details:

Assets 4