Skip to content
GitLab
Explore
Sign in
Marco
parseque
Repository
Branches
Overview
Active
Stale
All
master
protected
27ef96b6
·
[ fix #1 ] _CoqProject for coq 8.7
·
Dec 05, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fixups
default
d9f6496a
·
update .gitignore
·
Sep 09, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar