TY  - RPRT
TI  - An Elementary Formal Proof of the Group Law on Weierstrass Elliptic Curves in any Characteristic
AU  - David Kurniadi Angdinata
AU  - Junyan Xu
PY  - 2023
UR  - https://arxiv.org/abs/2302.10640
ID  - 2302.10640
ER  -