implies 0.4.3

A parser for logical formulas
Documentation