implies 0.2.3

A parser for logical formulas
Documentation