Branches · Gappa / coq · GitLab

Active branches

master default protected

c761927f · New release. · Feb 03, 2023

Download source code

zip tar.gz tar.bz2 tar

Stale branches

gappalib-coq-0.21 merged

a78685b2 · Fix build for the tarball and the tactic. · Jul 03, 2013

Compare

Download source code

zip tar.gz tar.bz2 tar
drop-8.10

15979755 · Remove support for Coq 8.8 to 8.10. · May 10, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar
ci merged

8c5cc2fb · Do not export instances. · May 10, 2022

Compare

Download source code

zip tar.gz tar.bz2 tar