Sphere Packing in 8 Dimensions: Written for 18.786 (Number Theory II), taught by Prof. Wei Zhang, and loosely following [this][cohn-spheres] survey by Henry Cohn
The official course notes to 18.218 (Combinatorics of the Grassmannian), taught by Prof. Alex Postnikov. There are a lot of edits to be made and proofs to be filled in.