Skip to content

Bring back forall and exists quantifiers (Closes #200)#281

Merged
filipeom merged 1 commit intoformalsec:mainfrom filipeom:add-quantifiersFeb 9, 2025

Commits

Commits on Feb 9, 2025