Repository navigation

perf(Incompleteness): avoid kernel reduction in term construction proofs - #713

Open

Vilin97 wants to merge 1 commit into

mainfrom

vilin/optimization-20261023

Open

perf(Incompleteness): avoid kernel reduction in term construction proofs#713
Vilin97 wants to merge 1 commit into
mainfrom
vilin/optimization-20261023

Commits on Oct 23, 2026
- perf(Incompleteness): avoid kernel reduction in term construction proofs
  Vilin97
  committed
  d2be42e