Skip to content

fix(clone): no quadratic check of proved lemmas in theory overrides - #1208

Merged
strub merged 1 commit into
mainfrom
fix/clone-override-quadratic
Oct 14, 2026
Merged

fix(clone): no quadratic check of proved lemmas in theory overrides#1208
strub merged 1 commit into
mainfrom
fix/clone-override-quadratic

fix(clone): no quadratic check of proved lemmas in theory overrides

76cb137
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
build
succeeded Oct 14, 2026 in 7m 2s