Branches · The Rocq Prover / Opam · GitLab

Mentions légales du service

Snippets Groups Projects

Exceptional GitLab maintenance is scheduled for June 19, 2025. The service will be unavailable between 12am and 2pm. Please do not work on the platform until an announcement indicates that maintenance is complete.

Active branches

master default protected

c2ed3335 · Merge pull request #3448 from SkySkimmer/add-91dev · 12 hours ago
Download source code

zip
tar.gz
tar.bz2
tar

Download artifacts

json-data
pr-3439

27dcc782 · [CI merge] PR #3439: add coq-vst.3.1beta (try 2) · 1 day ago
Download source code

zip
tar.gz
tar.bz2
tar

Download artifacts

json-data
Compare
pr-3396

d6535bec · [CI merge] PR #3396: release MathComp-Analysis 1.10.0 · 1 month ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
fix-checksum

a25e4c77 · coq-hol-light-real-with-nat: fix checksum · 2 months ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare

Stale branches

remove-gitlab-com-tags

f5d84ad1 · Remove leftover GitLab.com tag. · 8 months ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
flocq-glob

3f62708d · Delete coq-flocq3.dev · 7 months ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
2.3.0

dde39e1e · update mathcomp packages · 6 months ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
mathcomp-2.3.0

dde39e1e · update mathcomp packages · 6 months ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
pr-3218

626b2f9b · [CI merge] PR #3218: Add test for lower bounds on dependencies. · 6 months ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare

Show more stale branches