-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: kim-em/hex-dev
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(interval): extract supported controller contracts
#9294
opened Aug 16, 2026 by
kim-em
Owner
Loading…
feat: add the AES byte arithmetic tutorial, restoring HexGF2 to Phase 7
#9253
opened Aug 14, 2026 by
kim-em
Owner
Loading…
chore: enforce the Phase 7 chapter and tutorial obligations
#9249
opened Aug 14, 2026 by
kim-em
Owner
Loading…
refactor: use Mathlib's RingEquiv in the GF(2) correspondence
#9248
opened Aug 14, 2026 by
kim-em
Owner
Loading…
doc: point the packed-matrix prototype report at its implementation
#9163
opened Aug 4, 2026 by
kim-em
Owner
Loading…
bench: Swinnerton-Dyer tier-crossover ladders with scaling figures
#8539
opened Jul 2, 2026 by
kim-em
Owner
Loading…
docs(AGENTS): require standard BZ/LLL terminology in proofs and docs
#8416
opened Jun 28, 2026 by
kim-em
Owner
Loading…
chore: record CoarseCheck probe + HexManual render driver; gitignore sessions/
#8335
opened Jun 24, 2026 by
kim-em
Owner
Loading…
doc: fix /once claim step for replan/plan worker types
#8301
opened Jun 23, 2026 by
kim-em
Owner
Loading…
ProTip!
Filter pull requests by the default branch with base:main.