Posts for year 2023 2023-09-08 15:58The first official release of Lean 4 2023-08-26 16:30My Experience at the Machine-Checked Mathematics workshop 2023-06-12 07:42Formalising cohomology theories