Mentions légales du service
Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
coq
coq
Repository
Branches
Overview
Active
Stale
All
Active branches
pr-18319
fb636580
·
[CI merge] PR #18319: Bump version (8.20+alpha)
·
Nov 30, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
17886287
·
Merge PR #18356: Fix typo in documentation
·
Nov 30, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Failed
Previous Artifacts
build:base+32bit
doc:refman-pdf
doc:refman
validate:base+32bit
validate:edge+flambda
library:ci-menhir
library:ci-flocq
library:ci-oddorder
plugin:ci-aac_tactics
library:ci-stdlib2
library:ci-tlc
library:ci-verdi_raft
library:ci-mathcomp_word
library:ci-unimath
library:ci-http
library:ci-jasmin
library:ci-deriving
library:ci-vst
library:ci-coq_library_undecidability
plugin:ci-equations
plugin:ci-tactician
plugin:ci-mtac2
plugin:ci-stalmarck
plugin:ci-paramcoq
plugin:ci-waterproof
plugin:ci-quickchick
plugin:ci-perennial
plugin:ci-quickchick_test
plugin:ci-metacoq
build:base
build:base:dev
doc:stdlib
doc:ml-api:odoc
validate:base
build:vio
library:ci-autosubst
library:ci-coqprime
library:ci-color
library:ci-fcsl_pcm
library:ci-compcert
library:ci-category_theory
library:ci-coquelicot
library:ci-fiat_crypto_legacy
library:ci-fourcolor
library:ci-bedrock2
library:ci-fiat_crypto
library:ci-math_classes
library:ci-iris
library:ci-finmap
library:ci-mathcomp
library:ci-corn
library:ci-mathcomp_test
library:ci-analysis
plugin:ci-bignums
plugin:ci-elpi_test
plugin:ci-equations_test
plugin:ci-reduction_effects
plugin:ci-rewriter
plugin:ci-serapi_test
plugin:ci-smtcoq
plugin:ci-vscoq
plugin:ci-coq_lsp
build:edge+flambda
library:ci-argosy
library:ci-bbv
library:ci-coqtail
library:ci-coq_performance_tests
library:ci-neural_net_interp
library:ci-coq_tools
plugin:ci-coq_dpdgraph
library:ci-cross_crypto
plugin:ci-itauto
library:ci-sf
plugin:ci-lean_importer
plugin:ci-fiat_parsers
plugin:ci-ltac2_compiler
plugin:ci-coinduction
plugin:ci-elpi_hb
plugin:ci-atbr
plugin:ci-coqhammer
build:base+async
library:ci-engine_bench
library:ci-hott
library:ci-paco
library:ci-itree
plugin:ci-hb_test
plugin:ci-serapi
library:ci-bigenough
library:ci-mathcomp_1
library:ci-mczify
plugin:ci-relation_algebra
pr-18248
e48e9911
·
[CI merge] PR #18248: Generalize the deprecation machinery to other forms of comments
·
Nov 30, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pr-18327
1a0920cb
·
[CI merge] PR #18327: Make projection constants transparent and allowing...
·
Nov 30, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Failed
Previous Artifacts
validate:edge+flambda
doc:stdlib
doc:refman-pdf
doc:ml-api:odoc
build:vio
build:edge+flambda
build:base:dev
doc:refman
pr-18221
25fcee73
·
[CI merge] PR #18221: Fix various issues around recarg computation
·
Nov 28, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
doc:stdlib
doc:refman-pdf
doc:ml-api:odoc
doc:refman
validate:edge+flambda
build:vio
build:edge+flambda
build:base:dev
Stale branches
v8.0
protected
6aecb9a1
·
Default CoqIDE modifiers for menu did not work (e.g. "d" was
·
Mar 08, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.1
protected
f7cdf553
·
Minor patch to build Coq 8.1 on OS X (no native "cp --parent").
·
Apr 28, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.4
protected
7f2240ff
·
Adding support for OCaml 4.06.0 (option -unsafe-string needed).
·
Dec 09, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.3
protected
04a6362f
·
Adding support for OCaml 4.06.0 (option -unsafe-string needed).
·
Dec 09, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v8.2
protected
be16dcb3
·
Adding support for OCaml 4.06.0 (option -unsafe-string needed).
·
Dec 27, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar