Kevin Buzzard (Mar 21 2020 at 17:41):
There seems to be something called a "project' in mathlib for homological algebra here. I want to add things to it in some form -- I want to say "we should prove that a short exact sequence of complexes gives a long exact sequence of cohomology, we should do the Grothendieck spectral sequence, ...". What is the way to add my hopes and dreams to this project?
Kevin Buzzard (Mar 21 2020 at 17:42):
Or is that not the way it works?
Bryan Gin-ge Chen (Mar 21 2020 at 18:09):
I think you can create issues / PRs and assign them to the project either by clicking in the "Projects" section at the right of the issue page or from the project page itself. You can also create "notes" that only show up in the project by clicking the various + buttons on the project page. The official docs on github are here.
Last updated: May 10 2021 at 08:14 UTC