hpointu/WFF

a logical library

A WIP library... It intends to give all primitive for propositionnal logical
and then, if I have the time, first-order logical