Skip to content
GitLab
Explore
Sign in
2021.02.1
cd9e106f
·
macOS DMG installer: explain usage in README_macOS.md
·
Apr 09, 2021
Release:
Coq version 2021.02.1