Mentions légales du service
Skip to content
GitLab
Explore
Sign in
coq
coq
Repository
Branches
Overview
Active
Stale
All
pr-18848
3004566c
·
[CI merge] PR #18848: Remove all `nf_evar` from `cases.ml` and `pretyping.ml`...
·
Mar 29, 2024
pr-18853
1731a0eb
·
[CI merge] PR #18853: Avoid re-interpreting the rewrite lemma when it won't be cleared
·
Mar 29, 2024
pr-18737
28268008
·
[CI merge] PR #18737: Ltac2 `located` scope modifier
·
Mar 25, 2024
pr-18721
5bbc07ac
·
[CI merge] PR #18721: Propagate the unfolded status of primitive projections...
·
Mar 23, 2024
pr-18820
a702abe7
·
[CI merge] PR #18820: Some utilities
·
Mar 20, 2024
pr-18762
3db23188
·
[CI merge] PR #18762: Strictly unique classes can be resolved independently.
·
Mar 18, 2024
pr-18816
7a0a21e6
·
[CI merge] PR #18816: coqprof2html: produce bench html files from profile json files
·
Mar 18, 2024
pr-18815
c803fb6e
·
[CI merge] PR #18815: Remove test stm/Nijmegen_QArithSternBrocot_Zaux
·
Mar 18, 2024
pr-18814
af7e8d1f
·
[CI merge] PR #18814: Remove slow nia tests
·
Mar 18, 2024
pr-17701
abd3a95e
·
[CI merge] PR #17701: Experiment to preserve information from typeclass failures
·
Mar 14, 2024
pr-18761
3ed5ef2a
·
[CI merge] PR #18761: Subtraction in NatInt
·
Mar 09, 2024
pr-18581
84d3f08e
·
[CI merge] PR #18581: Take "simpl never" into account for "simpl" in position...
·
Mar 08, 2024
pr-18621
83b93146
·
[CI merge] PR #18621: Take into account the local delta flags for "simpl"
·
Mar 08, 2024
pr-15661
0a249e3c
·
[CI merge] PR #15661: Fixes #5698: let simpl grants the never flag for...
·
Mar 08, 2024
pr-16394
c5d83f15
·
[CI merge] PR #16394: Allow Ltac2 notations from within Ltac1
·
Mar 07, 2024
pr-18733
4f5491ab
·
[CI merge] PR #18733: Experimenting a variant of `clear -hyps` that skips...
·
Mar 02, 2024
pr-18730
5ca69ac1
·
[CI merge] PR #18730: zify nat like N by default
·
Mar 01, 2024
pr-18377
57b24896
·
[CI merge] PR #18377: 8.19 backports
·
Feb 29, 2024
pr-17589
737b31ef
·
[CI merge] PR #17589: Fixes #17583: regression using numerals in the syntax of tactic notations
·
Feb 29, 2024
pr-18732
88641de7
·
[CI merge] PR #18732: Towards "cleaning" a bit cUnix.ml
·
Feb 29, 2024
Prev
1
2
3
4
5
6
Next