Blog (Tag Lean)

2025

• Extrinsic termination proofs for well-founded recursion in Lean

2024

• Blogging on Lean

2023

• Joining the Lean FRO