implies 0.2.4

A parser for logical formulas
Documentation