Zulip Chat Archive
Stream: PR reviews
Topic: !4#3378
Jeremy Tan (Apr 11 2023 at 04:37):
!4#3378 all I now need for this one is to fix timeouts at finrank_span_le_card and finrank_span_finset_le_card, and then I'll be done with this file
Jeremy Tan (Apr 11 2023 at 14:08):
Two simpNF errors remain in this one – anypony want to take a look?
Last updated: Dec 20 2023 at 11:08 UTC