Blog

Lean series 04: LinpermYour favorite tactic on its journey to greatness.7/29/2023

Lean series 03: TacticsDon't do by hand what you can automate!7/25/2023

Lean series 02: DemoConcrete examples, you say? It was about time!6/25/2023

Lean series 01: IntroA brief introduction to a tool not only for formalizing mathematics.6/9/2023

Dunno, nextWhen in doubt, doubt your thoughts.6/26/2022

Pro(b)logThe very first blog post, for better or worse.6/12/2022