-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: CBirkbeck/chebotarev-density
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(ForMathlib): mixedSpace frontier cover + index variant (10/10)
#28
opened Jun 18, 2026 by
CBirkbeck
Owner
Loading…
1 task
feat(ForMathlib): bounded cover + fibre covering (9/10)
#27
opened Jun 18, 2026 by
CBirkbeck
Owner
Loading…
1 task
feat(ForMathlib): the mixedSpace lift is Lipschitz (8/10)
#26
opened Jun 18, 2026 by
CBirkbeck
Owner
Loading…
1 task
feat(ForMathlib): lift the realSpace cover to mixedSpace (7/10)
#25
opened Jun 18, 2026 by
CBirkbeck
Owner
Loading…
1 task
feat(ForMathlib): phase-extraction Lipschitz bounds (6/10)
#24
opened Jun 18, 2026 by
CBirkbeck
Owner
Loading…
1 task
feat(ForMathlib): realSpace frontier Lipschitz cover (5/10)
#23
opened Jun 18, 2026 by
CBirkbeck
Owner
Loading…
1 task
feat(ForMathlib): boundary covered by face parametrizations (4/10)
#22
opened Jun 18, 2026 by
CBirkbeck
Owner
Loading…
1 task
feat(ForMathlib): frontier reduced to the box-boundary image (3/10)
#21
opened Jun 18, 2026 by
CBirkbeck
Owner
Loading…
1 task
feat(ForMathlib): face-map charts of the normLeOne region (2/10)
#20
opened Jun 18, 2026 by
CBirkbeck
Owner
Loading…
1 task
feat(ForMathlib): clampUnit cube retraction (1/10)
#19
opened Jun 18, 2026 by
CBirkbeck
Owner
Loading…
feat(ForMathlib): effective lattice-point count terminal export (2/2)
#18
opened Jun 18, 2026 by
CBirkbeck
Owner
Loading…
1 task
feat(ForMathlib): per-scale count↔volume bridge (1/2)
#17
opened Jun 18, 2026 by
CBirkbeck
Owner
Loading…
1 task done
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.