PRs

Stream: Sphere packing in 8 dimensions

[Sidharth Hariharan]

Hi all,

Recently, there have a number of people making PRs co-authored by Aristotle and Gauss. While these contributions really have been fantastic (thank you!), I'd like to request that the people running these models on our repository first take a look at the PR queue and only run them on files that aren't being worked on in other PRs. We've already had two instances of duplicate/redundant PRs. If you'd like to help with PRs still in progress, then please contact the PR authors and see if you can help them.

On another note, there are a number of PRs that I would like to review, but I am quite busy for the next few days. I will try and get some of them merged at ItaLean next week, especially the ones whose authors will be there in-person.

Thank you!

[Seewoo Lee]

Could anyone review this #PR193? (and can we use this thread for a purpose of asking review?)