Binary package “formed” in ubuntu xenial

formula editor for first-order logic formulae

Formed is a formula editor for first-order logic formulas that
lets you simplify quantified formulas by quantifier
transformation among other things.