GitHub repository: CBirkbeck/ModularForms
Primary language: Lean
Description: This repository consists of Lean 3 code which defines modular forms and looks to prove that Eisenstein series satisfy these definitions. The code within will eventually form part of the mathlib.