-
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
chore: record the linter-cleanup exemptions against the demotion sweep baseline
#10012
opened Sep 5, 2026 by
kim-em
Owner
Loading…
refactor: drop the conditional-reduction shims for Lean core's lemmas
#10011
opened Sep 5, 2026 by
kim-em
Owner
Loading…
release: admit hex-resultant, the number-field pairs and hex-rcf to the published set
#10008
opened Sep 5, 2026 by
kim-em
Owner
Loading…
perf(graph-iso): make the certificate checker kernel-friendly
#10006
opened Sep 5, 2026 by
kim-em
Owner
Loading…
docs: specify Schönhage radix-3 multiplication and operation-count bounds
#9888
opened Sep 1, 2026 by
kim-em
Owner
Loading…
ProTip!
Updated in the last three days: updated:>2026-09-01.