frege

A tool for translate well-formed-formulas of propositional calculus into Begriffsschrift notation.