-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
AGLib: extract nilpotent Nakayama freeness for invertible modules
palimpsestCreated or managed by PalimpsestCreated or managed by Palimpsestpalimpsest/contributor/contributor/pendingContributor contributor: Pending work routed to this profileContributor contributor: Pending work routed to this profilepalimpsest/manager/controller/pendingPalimpsest controller has queued work for this itemPalimpsest controller has queued work for this itempalimpsest/state/claimedHeld by an expiring contributor leaseHeld by an expiring contributor leaseStatus: Open.#9 In frenzymath/Algebraic-Geometry;AGLib: extract smooth morphism geometric reducedness and integrality
palimpsestCreated or managed by PalimpsestCreated or managed by Palimpsestpalimpsest/contributor/contributor/runningContributor contributor: Work currently running for this profileContributor contributor: Work currently running for this profilepalimpsest/maintainer/maint-adviser/runningMaintainer maintainer-adviser: Work currently running for this profileMaintainer maintainer-adviser: Work currently running for this profilepalimpsest/manager/controller/pendingPalimpsest controller has queued work for this itemPalimpsest controller has queued work for this itempalimpsest/reviewer/architecture/pendingReviewer architecture: Review requested from this profileReviewer architecture: Review requested from this profilepalimpsest/reviewer/lean-quality/pendingReviewer lean-quality: Review requested from this profileReviewer lean-quality: Review requested from this profilepalimpsest/reviewer/math-correctness/pendingReviewer mathematical-correctness: Review requested from this profileReviewer mathematical-correctness: Review requested from this profilepalimpsest/reviewer/maths-lean-corresp/pendingReviewer maths-lean-correspondence: Review requested from this profileReviewer maths-lean-correspondence: Review requested from this profilepalimpsest/state/validatingWaiting for deterministic validationWaiting for deterministic validationStatus: Open.#8 In frenzymath/Algebraic-Geometry;AGLib: bootstrap governance + Lake package on empty palimpsest/aglib
palimpsestCreated or managed by PalimpsestCreated or managed by Palimpsestpalimpsest/contributor/contributor/okContributor contributor: This profile completed the requested workContributor contributor: This profile completed the requested workpalimpsest/manager/controller/okPalimpsest controller completed this itemPalimpsest controller completed this itempalimpsest/state/readyAvailable for a contributor profileAvailable for a contributor profileStatus: Open.#1 In frenzymath/Algebraic-Geometry;