feat: implement basic assertion modeling

Right now we can do implication, negation, double implication, and,
or, and xor. That might be all we need for now.

0 files changed, 0 insertions, 0 deletions