Zulip Chat Archive
Stream: triage
Topic: PR #8979: Modular forms
Random Issue Bot (Oct 02 2022 at 14:20):
Today I chose PR 8979 for discussion!
Modular forms
Created by @Chris Birkbeck (@CBirkbeck) on 2021-09-03
Labels: WIP, incomplete, merge-conflict
Is this PR still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Oct 21 2022 at 14:39):
Today I chose PR 8979 for discussion!
Modular forms
Created by @Chris Birkbeck (@CBirkbeck) on 2021-09-03
Labels: WIP, incomplete, merge-conflict
Is this PR still relevant? Any recent updates? Anyone making progress?
Kevin Buzzard (Oct 21 2022 at 19:42):
@Chris Birkbeck there is another modular forms PR now, right? Can this one be closed?
Chris Birkbeck (Oct 21 2022 at 19:50):
Oh yes that was a old huge pr that I've now been splitting up. So that can be closed I have everything there in my own repo
Last updated: Dec 20 2023 at 11:08 UTC