colibri2/theories/quantifier/trigger.ml · caa70304c33e5cd66c30f388a71bd43675420350 · pub / colibrics · GitLab

Skip to content

GitLab

Explore

Sign in

colibrics
colibri2
theories
quantifier
trigger.ml

Blame Permalink

Jan 20, 2023
caa70304

[Quantifier] Fix delayed instantiation for false existential · caa70304
François Bobot authored Jan 20, 2023

caa70304

[Quantifier] Fix delayed instantiation for false existential
François Bobot authored Jan 20, 2023

Loading