implies 0.3.1

A parser for logical formulas
Documentation