Posts about meeting report RSS feed 2024-11-25 17:00Durham Computational Algebraic Geometry Workshop 2023-08-26 16:30My Experience at the Machine-Checked Mathematics workshop 2023-06-12 07:42Formalising cohomology theories