[ bug ] Fix use of + in lemma preconditions in favour of ∧ (bis) #2578
Merged
jamesmckinna merged 6 commits intoagda:masterfrom Feb 9, 2025
Merged
[ bug ] Fix use of + in lemma preconditions in favour of ∧ (bis) #2578jamesmckinna merged 6 commits intoagda:masterfrom
+ in lemma preconditions in favour of ∧ (bis) #2578jamesmckinna merged 6 commits intoagda:masterfrom
Commits
Commits on Feb 8, 2025
- committed
- committed
- committed
- committed
- committed
- committed
