This repository aims to bring together everything we know about modular forms in Lean 4. The goal is to develop the theory further and clean things so that they can then be added to mathlib.
CBirkbeck/LeanModularForms
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|