A variant of the double-negation translation. Carnegie Mellon (0)

by Jeremy Avigad