Pinned Repositories
ModularForms
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.
blog
Source for the community blog
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
mathlib4
The math library of Lean 4
merge-queue-test
lean4
Lean 4 programming language and theorem prover
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
OMS
Converting Rob Pollack's overconvergent modular symbols .sage code to .py and putting it in Sage
loefflerd's Repositories
loefflerd/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.