Issues: Lautenschlager-id/expaghetti
[BUG] Quantified groups are broken on `(<SMTH>)<OPERATOR><SMT...
#48
opened Sep 7, 2022 by
Lautenschlager-id
Open
ProTip!
Add no:assignee to see everything that’s not assigned.