GitHub repository: kckennylau/EllipticCurve
Primary language: Lean
Description: Towards a general definition of elliptic curve over schemes