implies 0.4.4

A parser for logical formulas
Documentation