Skip to content
GitLab
Explore
Sign in
David Jao
Coq platform
Tags
2021.02.1
2021.02.1
cd9e106f
·
macOS DMG installer: explain usage in README_macOS.md
·
Apr 09, 2021
Release:
Coq version 2021.02.1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar