Skip to content

test(research): certify the P112 deletion quantifier separation - #3158

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/20261017-p112-deletion-separation
Oct 17, 2026
Merged

test(research): certify the P112 deletion quantifier separation#3158
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/20261017-p112-deletion-separation

test(research): certify the P112 deletion quantifier separation

8e2167b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 17, 2026 in 1m 31s