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