Formal Proof of the Group Law for Edwards Elliptic Curves.

Thomas C. Hales, Rodrigo Raya

Browse the full CADE paper archive.