Skip to content

Extend pool-based quantifier instantiation to axioms; add diagnostic … - #3

Merged
andreistefanescu merged 3 commits into
masterfrom
pool-qi-improvements
Apr 24, 2026
Merged

Extend pool-based quantifier instantiation to axioms; add diagnostic …#3
andreistefanescu merged 3 commits into
masterfrom
pool-qi-improvements

Make /keepQuantifier symmetric for pool-bearing axioms

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

Annotations

3 warnings

The logs for this run have expired and are no longer available.