yellowsquid/advent-of-proof/2024.git/.gitignore, branch master [no description] http://git.yellowsquid.uk/yellowsquid/advent-of-proof/2024.git/atom?h=master 2024-01-22T11:51:56Z Advent of proof submissions. 2024-01-22T11:51:56Z Chloe Brown chloe.brown.00@outlook.com 2024-01-22T11:51:56Z urn:sha1:4527250aee1d1d4655e84f0583d04410b7c53642 Completed all problems save 12, where I had to postulate two lemma.