implies 0.2.1

A parser for logical formulas
Documentation