⇒
SEQUENT
← All solvers
◐
Start
¬
∧
∨
⊃
≡
(
)
⊢
commas on
both
sides —
p, q |- r, s
Left
Right
Done
Undo
Restart