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

David Kurniadi Angdinata, Junyan Xu

Elliptic curves are fundamental objects in number theory and algebraic geometry, whose points over a field form an abelian group under a geometric addition law. Any elliptic curve…