-
Notifications
You must be signed in to change notification settings - Fork 2
Pull requests: PerAlexandersson/RealRooted
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: prove
narayanaPolynomialRootLocation (generalized Narayana polynomials are PF polynomials)
#84
opened Jul 15, 2026 by
sqrt-of-2
Contributor
Loading…
feat: prove
commonLeft_add (Wagner's lemma, part (2))
#83
opened Jul 14, 2026 by
sqrt-of-2
Contributor
Loading…
feat: prove remaining parts of Chudnovsky-Seymour
#82
opened Jul 14, 2026 by
sqrt-of-2
Contributor
Loading…
feat: prove Kurtz's sufficient condition theorem (
coefficientCriterion)
#81
opened Jul 14, 2026 by
sqrt-of-2
Contributor
Loading…
feat: prove
chudnovskySeymour_pairwiseCompatible_iff_familyCompatible
#80
opened Jul 14, 2026 by
sqrt-of-2
Contributor
Loading…
feat: prove
differential_operator_preserves_real_rooted
#79
opened Jul 14, 2026 by
sqrt-of-2
Contributor
Loading…
refactor: remove all uses of
set_option, try, all_goals and any_goals
#78
opened Jul 13, 2026 by
sqrt-of-2
Contributor
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.