Posts about meeting report RSS feed 2023-08-26 16:30My Experience at the Machine-Checked Mathematics workshop 2023-06-12 07:42Formalising cohomology theories