Tag: Tools

November 13, 2026 · Lean · Tools · 日本語

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.