Skip to content
GitLab
Explore
Sign in
David Jao
Coq platform
Tags
2021.02.0
2021.02.0
7895506+MSoegtropIMC@users.noreply.github.com
6a30a149
·
Improve messages in the snap creation form
·
Feb 26, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Coq Platform 2021.02.0 for Coq 8.13.1