Context dealing with basic logic concepts: boolean arithmetic, equality, and set theory.

import proveit %context