implies 0.4.5

A parser for logical formulas
Documentation