Find Equational Proofs in Arithmetic

Specify axioms for an equational version of Presburger arithmetic.

Prove the double-negation theorem in Presburger arithmetic.

Show the list of lemmas in the full proof.