-
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): emit version-zero initial evidence
#9535
opened Aug 24, 2026 by
kim-em
Owner
Loading…
feat(interval): authenticate per-node literal powers
#9534
opened Aug 24, 2026 by
kim-em
Owner
Loading…
test: add the BZMathlib conformance module and proof-track probe suite
#9504
opened Aug 24, 2026 by
kim-em
Owner
Loading…
doc(primality): add the HexPrimality manual chapter
#9497
opened Aug 24, 2026 by
kim-em
Owner
Loading…
doc(primality): record the downstream factoring uptake routes
#9496
opened Aug 24, 2026 by
kim-em
Owner
Loading…
feat(primality): swap table verification onto the batched sieve replay
#9494
opened Aug 23, 2026 by
kim-em
Owner
Loading…
feat(primality): add the kernel-reducible bitset sieve with its correctness proof
#9493
opened Aug 23, 2026 by
kim-em
Owner
Loading…
feat(primality): add bench families and kernel-replay probes
#9490
opened Aug 23, 2026 by
kim-em
Owner
Loading…
feat(primality): add conformance fixtures and the PARI oracle
#9488
opened Aug 23, 2026 by
kim-em
Owner
Loading…
feat(primality): add the norm_num extension and Nat.Prime tactic reach
#9487
opened Aug 23, 2026 by
kim-em
Owner
Loading…
perf: build the disambiguation eliminant as a double resultant
#9432
opened Aug 22, 2026 by
kim-em
Owner
Loading…
bench: add the number-field pair's Phase-4 ladders, PARI comparator, and declarations
#9424
opened Aug 22, 2026 by
kim-em
Owner
Loading…
feat(primality): add the HexPrimalityMathlib correspondence layer
#9412
opened Aug 22, 2026 by
kim-em
Owner
Loading…
feat(primality): wire the cube-root certificate arm
#9411
opened Aug 22, 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…
Previous Next
ProTip!
Updated in the last three days: updated:>2026-08-21.