-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: frenzymath/Algebraic-Geometry
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(AGLib): extract smooth geometric reducedness API
palimpsest/contributor/contributor/ok
Contributor contributor: This profile completed the requested work
palimpsest/maintainer/maint-adviser/ok
Maintainer maintainer-adviser: This profile completed the requested work
palimpsest/manager/controller/pending
Palimpsest controller has queued work for this item
palimpsest/review/final
The complete review panel is required before merge
palimpsest/reviewer/architecture/pending
Reviewer architecture: Review requested from this profile
palimpsest/reviewer/lean-quality/pending
Reviewer lean-quality: Review requested from this profile
palimpsest/reviewer/math-correctness/pending
Reviewer mathematical-correctness: Review requested from this profile
palimpsest/reviewer/maths-lean-corresp/pending
Reviewer maths-lean-correspondence: Review requested from this profile
palimpsest/state/awaiting-review
Waiting for independent reviews
palimpsest
Created or managed by Palimpsest
#11
opened Sep 3, 2026 by
AxelDlv00
Collaborator
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.