Fix small bug in checking of connective_def if the connective is forall#52
Merged
bpandreotti merged 2 commits intoufmg-smite:mainfrom Lachnitt:fix-connective-def-forallFeb 7, 2025
+7-7
Commits
Commits on Jan 1, 2025
Commits on Feb 7, 2025
- committed