logo

Demonstrations for context proveit.logic.boolean.disjunction

In [1]:
import proveit
%begin demonstrations
In [2]:
 
In [2]:
%end demonstrations