Skip to content

perf(STCON, CondEPPRG): cut proof elaboration in the slowest proofs - #2192

Merged
SamuelSchlesinger merged 1 commit into
mainfrom
perf/stcon-condepprg-622
Nov 1, 2026
Merged

perf(STCON, CondEPPRG): cut proof elaboration in the slowest proofs#2192
SamuelSchlesinger merged 1 commit into
mainfrom
perf/stcon-condepprg-622

Commits

  1. Commits on Nov 1, 2026