Posts

2026年11月13日 · Lean · ツール · English

Lean を対訳で読む：Taiyak を作りました

Lean 4 のソースを宣言ごとに区切り、隣に自然言語の数学として訳を並べるブラウザツール Taiyak を作りました。