implies 0.4.0

A parser for logical formulas
Documentation