Skip to content

feat: add config parameter for predicate quantifier #155

feat: add config parameter for predicate quantifier

feat: add config parameter for predicate quantifier #155

test-local-changes

succeeded Mar 2, 2024 in 3s