Zulip Chat Archive

Stream: PR reviews

Topic: !4#5391 RepresentationTheory.GroupCohomology.Resolution

Amelia Livingston (Jun 23 2023 at 18:51):

This file is nearly ready for review - there are 2 sorries left. ~~I feel unqualified to fix the first one~~ I am about to fix the first one in the next commit, and the second one is a long broken simp block that's painful to fix but I'll have another go.

Amelia Livingston (Jun 24 2023 at 17:50):

this is ready for review now :)

Last updated: Dec 20 2023 at 11:08 UTC