Tools and software I either wrote or contributed to and that could possibly be useful to someone, some day.

_{(Sadly, not vegan : may contain bugs)}

Epsilon Calculus Translator

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

As I’m sure anyone who has ever tried to write an epsilon-formula with more than two quantifiers will agree, this should represent a non-trivial improvement in writing efficiency and in authors’ sanity.

If, however, you really enjoy wasting your days, you can check manually that this epsilon-translation indeed corresponds to the formula \(\forall x \exists y \forall z \exists w P(x,y,z,w)\).