t-algebra

Stream: mathlib4

[Johan Commelin]

Algebraists of this zulip, unite!

According to https://jcommelin.github.io/queueboard/index.html there are ~75 PRs on the queue that contain a label with "t-algebra" as substring. (This includes "t-algebraic-geometry" and "t-algebraic-topology".)

If you have some familiarity with this topic, please help with reviewing.

• Here is a page with some helpful info for PR reviews: https://leanprover-community.github.io/contribute/pr-review.html
• If you don't feel comfy reviewing Leanistic aspects, but you really know the maths quite well, then a review of the maths is also certainly helpful. Please post a comment along the lines of: "I haven't checked this on Lean style, but the maths looks good." (If you think it's good :grinning:)

Let's get that 75 down some notches.

[Ruben Van de Velde]

How many are from @Yaël Dillies ? :innocent:

[Violeta Hernández]

Ruben Van de Velde said:

How many are from Yaël Dillies ? :innocent:

Only 18 of them :stuck_out_tongue:

[Yaël Dillies]

Where do you find the list, actually? I don't see any obvious way to get it from https://jcommelin.github.io/queueboard/index.html ?

[Kevin Buzzard]

OK so maybe it's time to have a review party. I can't remember -- are these organised publically or in the reviewer channel? Maybe we could have one late next week.

[Johan Commelin]

Yaël Dillies said:

Where do you find the list, actually? I don't see any obvious way to get it from https://jcommelin.github.io/queueboard/index.html ?

There is a filter/search box above the table