-
Notifications
You must be signed in to change notification settings - Fork 110
Pull requests: math-comp/math-comp
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
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
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
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
finmap
needs: rebase
PR which is not rebased: check the target is appropriate (generally master) and rebase on top of it.
Fix the scope of arguments of intmul
needs: fix
PR that needs to be fix (generally because reviewers asked to).
TODO: MC-1 port
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.