Ongoing PhD project to formalise quaternionic modular forms and results on the slopes of compact Hecke operator.
More information and progress can be found in the blueprint.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Ongoing PhD project to formalise quaternionic modular forms and results on the slopes of compact Hecke operator.
More information and progress can be found in the blueprint.