materially 1.0.0

A macro for material implication
Documentation