Epsilon Calculus Translator

A command-line tool to translate formulae between first-order logic and the epsilon calculus.