An Elementary Formal Proof of the Group Law on Weierstrass Elliptic Curves in Any Characteristic.

David Kurniadi Angdinata, Junyan Xu

Browse the full ITP paper archive.