このタグの RSS
2026年11月13日 · Lean · ツール · English
Lean 4 のソースを宣言ごとに区切り、隣に自然言語の数学として訳を並べるブラウザツール Taiyak を作りました。