I’m interested in how things work.
Posts
Reading Lean Side by Side: Introducing Taiyak
Taiyak is a browser tool that splits Lean 4 source into declarations and shows each one next to a translation into natural-language mathematics.
I’m interested in how things work.
Taiyak is a browser tool that splits Lean 4 source into declarations and shows each one next to a translation into natural-language mathematics.