Archives

2023  3

September  1

Proving Termination in Lean 4, pt. 1

September 30, 2023 · 7 min

August  2

The Making of Claveilleur

August 3, 2023 · 10 min

Hello, World!

August 2, 2023 · 1 min