import proveit from proveit.logic.booleans.negation import not_f theory = proveit.Theory() # the theorem's theory
%proving not_false
not_false has been proven. Now simply execute "%qed".
%qed
proveit.logic.booleans.negation.not_false has been proven.