Skip to content

Single self-referential UF for the encoding (proofs ~1.8x faster)#7

Closed
oflatt-claude wants to merge 9 commits into
saulshanabrook:mainfrom
oflatt-claude:port-uf-self-merge
Closed

Single self-referential UF for the encoding (proofs ~1.8x faster)#7
oflatt-claude wants to merge 9 commits into
saulshanabrook:mainfrom
oflatt-claude:port-uf-self-merge

egglog: single self-referential UF for proof-mode encoding

7f5ea8a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs