Zulip Chat Archive

Hey! I'm a first year maths student at Cambridge and I've been around the Xena Discord server for now 2 months. I'm trying to help Bhavik prove stuff about simplices, including ultimately Sperner's Lemma, so if anyone would mind granting me access to the Github repo (my username there is YaelDillies), that would be great!