There are several individual projects, but I'm not aware of a larger community space. Though in this thread last year, someone pointed to a relevant Discord channel: pre-Proposal: Math Working Group
There are several individual projects, but I'm not aware of a larger community space. Though in this thread last year, someone pointed to a relevant Discord channel: pre-Proposal: Math Working Group