implies 0.4.1

A parser for logical formulas
Documentation