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