-
Notifications
You must be signed in to change notification settings - Fork 2
Pull requests: saulshanabrook/egglog-encoding
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Lean 4 model of egglog semantics and a differentially-tested reference implementation
#58
opened Aug 8, 2026 by
oflatt-claude
•
Draft
Share one table per sort for eq-sort globals; account for time outside rule-set execution
#47
opened Aug 1, 2026 by
oflatt-claude
•
Draft
Fix proof-test coverage for computed-value verifier failures
#26
opened Jul 21, 2026 by
saulshanabrook
Owner
Loading…
ProTip!
What’s not been updated in a month: updated:<2026-07-15.