Skip to content

Proof encoding in egglog itself#770

Merged
oflatt merged 12 commits intomainfrom
oflatt-proofs-encoding-2
Feb 9, 2026
Merged

Proof encoding in egglog itself#770
oflatt merged 12 commits intomainfrom
oflatt-proofs-encoding-2

Commits

Commits on Feb 5, 2026

Commits on Feb 9, 2026