Skip to content

Pull requests: math-comp/math-comp

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

Pull requests list

Adds a lemma to reason by equivalence on paths cut in the middle TODO: MC-1 port
#1217 opened May 27, 2024 by ybertot Loading…
4 of 5 tasks
Fix the notation scope of function notations in ssralg (#978)
#1213 opened Apr 23, 2024 by pi8027 Loading…
2 of 4 tasks
1
7
falgebra and fieldext parts of CohenCyril's abel backports needs: merge of dependencies PR that depends on another. Documented in the original post of the PR. Review only the increment.
#1202 opened Apr 2, 2024 by Tragicus Loading…
3 of 4 tasks
Remove the phantom in tuple
#1200 opened Mar 29, 2024 by CohenCyril • Draft
4 tasks
7
Add algR (from CohenCyril's Abel backport) needs: merge of dependencies PR that depends on another. Documented in the original post of the PR. Review only the increment.
#1199 opened Mar 29, 2024 by Tragicus Loading…
3 of 4 tasks
solvable part of CohenCyril's abel backport needs: merge of dependencies PR that depends on another. Documented in the original post of the PR. Review only the increment.
#1198 opened Mar 29, 2024 by Tragicus Loading…
2 of 4 tasks
fingroup part of CohenCyril's abel backport
#1196 opened Mar 28, 2024 by Tragicus Loading…
4 tasks
1
Add solve_Qint_span to intdiv.v.
#1191 opened Mar 26, 2024 by mituharu Loading…
2 of 4 tasks
3
Preorder
#1169 opened Feb 11, 2024 by Tragicus Loading…
3 of 4 tasks
10
finmap needs: rebase PR which is not rebased: check the target is appropriate (generally master) and rebase on top of it.
#1138 opened Dec 11, 2023 by gares • Draft 100+
4
Add semi-module and semi-algebra structures
#1125 opened Nov 15, 2023 by pi8027 • Draft
3 tasks
1
23
Inductive principles on set cardinality
#1120 opened Nov 6, 2023 by pPomCo Loading…
3 of 4 tasks
1
Contrib bigop
#1119 opened Nov 6, 2023 by pPomCo Loading…
2 of 4 tasks
@Tragicus
16
Contrib finset
#1118 opened Nov 6, 2023 by pPomCo Loading…
2 of 4 tasks
@CohenCyril
1
Adapt to https://github.com/coq/coq/pull/17876 TODO: MC-1 port
#1110 opened Oct 30, 2023 by proux01 • Draft
Fix the scope of arguments of intmul needs: fix PR that needs to be fix (generally because reviewers asked to). TODO: MC-1 port
#1086 opened Sep 28, 2023 by proux01 Loading…
3 of 4 tasks
2.3.0
6
Ring coercions drops: coq 8.16 drops: coq 8.17
#1051 opened Jul 18, 2023 by proux01 • Draft
1 of 4 tasks
15
Abel backports
#944 opened Nov 29, 2022 by CohenCyril • Draft
2 tasks
31
Contribution to ssreflect/fin*
#931 opened Sep 27, 2022 by pPomCo Loading…
2 tasks
2.3.0
4
remove Restart from test_suite
#911 opened Aug 2, 2022 by gares • Draft
WIP matrix of a function and base change matrices
#801 opened Oct 14, 2021 by CohenCyril • Draft
2 tasks
2.3.0
1
WIP galmx : gal_of -> matrix
#800 opened Oct 14, 2021 by CohenCyril • Draft
2 tasks
2.3.0
3
[DO NOT MERGE] Attempt to remove dffun kind: help wanted PR for which help is requested.
#745 opened May 19, 2021 by pi8027 • Draft
2 tasks
2.3.0
1
Adding a CODEOWNERS file
#709 opened Mar 5, 2021 by CohenCyril • Draft 2.3.0
1
[DO NOT MERGE] Relorder
#697 opened Jan 22, 2021 by pi8027 • Draft
2 tasks
ProTip! Mix and match filters to narrow down what you’re looking for.