Skip to content

Pull requests: kim-em/hex-dev

New pull request New
36 Open 4,343 Closed
36 Open 4,343 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

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…
refactor: move the integer row-lattice vocabulary to hex-matrix
#9245 opened Aug 14, 2026 by kim-em Owner • Draft
1
feat(interval): compose mixed function instantiation
#9240 opened Aug 12, 2026 by kim-em Owner • Draft
feat(interval): prove a mixed sine-exp tactic path
#9238 opened Aug 11, 2026 by kim-em Owner • Draft
feat(interval): score bounded package features
#9237 opened Aug 11, 2026 by kim-em Owner • Draft
feat(interval): add bounded package policy features
#9236 opened Aug 11, 2026 by kim-em Owner • Draft
feat(interval): certify bounded raster graphs
#9235 opened Aug 11, 2026 by kim-em Owner • Draft
feat(interval): add feedback-guided search policy
#9234 opened Aug 11, 2026 by kim-em Owner • Draft
feat(interval): add exact branch proof canary
#9233 opened Aug 11, 2026 by kim-em Owner Loading…
feat(interval): replay exact subtraction arithmetic
#9232 opened Aug 11, 2026 by kim-em Owner Loading…
feat(interval): add a staged search policy
#9231 opened Aug 11, 2026 by kim-em Owner Loading…
fix(interval): bind splits to post-run snapshots
#9230 opened Aug 11, 2026 by kim-em Owner Loading…
feat(interval): replay a backward function contractor
#9229 opened Aug 11, 2026 by kim-em Owner Loading…
feat(interval): replay an arbitrary centered function
#9228 opened Aug 11, 2026 by kim-em Owner Loading…
feat(interval): prove exact dyadic fact semantics
#9227 opened Aug 11, 2026 by kim-em Owner Loading…
test(interval): exercise nested branch scheduling
#9226 opened Aug 11, 2026 by kim-em Owner Loading…
feat(interval): emit proofs from retained branch trees
#9225 opened Aug 11, 2026 by kim-em Owner Loading…
feat(interval): retain bounded branch trees
#9224 opened Aug 11, 2026 by kim-em Owner Loading…
Prove max-zero through branch-dependent propagators
#9223 opened Aug 11, 2026 by kim-em Owner • Draft
Join proved and proof-refuted branch leaves
#9222 opened Aug 11, 2026 by kim-em Owner • Draft
Add proof-producing contradiction leaves
#9221 opened Aug 11, 2026 by kim-em Owner • Draft
doc: point the packed-matrix prototype report at its implementation
#9163 opened Aug 4, 2026 by kim-em Owner Loading…
Exercise arbitrary function replay with sine oddness
#9079 opened Jul 29, 2026 by kim-em Owner • Draft
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.