GitHub - grhkm21/ModularForms_Lean4

This will be frozen on lean 4.11.0-rc1 for LeanCopilot@v1.5.1

Name		Name	Last commit message	Last commit date
Latest commit History 152 Commits
Modformsported		Modformsported
.gitignore		.gitignore
EisensteinSeries.json		EisensteinSeries.json
Modformsported.lean		Modformsported.lean
README.md		README.md
graph.png		graph.png
graph.py		graph.py
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Navigation Menu