Skip to content

Pull requests: math-comp/Coq-Combi

New pull request New
Clear current search query, filters, and sorts
0 Open 15 Closed
0 Open 15 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add ordered trees
#21 by hivert Member was merged Jul 5, 2026 Loading…
Cleanup in Makefile build system
#20 by hivert Member was merged Jul 4, 2026 Loading…
Presentation of groups and presentation of Sn
#19 by hivert Member was merged Jul 5, 2026 Loading…
Compile with MathComp master
#18 by proux01 Contributor was merged Jun 27, 2026 Loading…
2
Update to Math-Comp 2.3
#16 by hivert Member was merged Sep 20, 2025 Loading…
MathComp 2.3 compat
#15 by hivert Member was merged Jan 7, 2025 Loading…
partition.v: documentation typos
#14 by darijgr Contributor was merged Feb 1, 2024 Loading…
1
Mutiple nix bundle
#13 by hivert Member was merged Jan 31, 2024 Loading…
Tentative Nix Fix
#11 by hivert Member was merged Jan 22, 2024 Loading…
genNixActions
#10 by CohenCyril Member was closed Jan 22, 2024 Loading…
2
Tentative Nix Fix
#8 by hivert Member was merged Jan 22, 2024 Loading…
4
Bruhat
#7 by hivert Member was merged Jul 5, 2026 Loading…
Mathcomp2
#6 by hivert Member was merged Dec 22, 2023 Loading…
update to mathcomp-1.16.0
#4 by haansn08 was closed Jan 22, 2024 Loading…
1
Update to mathcomp 1.14.0 and test
#3 by CohenCyril Member was merged Nov 25, 2022 Loading…
2
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.