Quiz Mode
All topics
Reference (0%)
Connectives (0%)
Data types (0%)
Equality (0%)
Automation (0%)
Reset Progress
...
P
/\
Q
split
...
P
...
Q
Splits a conjunctive goal into two subgoals.