implies 0.3.2

A parser for logical formulas
Documentation