転載：ID:dythpcIC さん、ありがと

https://rio2016.5ch.io/test/read.cgi/math/1783860274/104-106
2026/07/17(金) 14:18:47.39 ID:dythpcIC
LANAプロジェクトに一定の敬意を払いつつも
逃げ腰でLEANの公開なしってのは流石にどうかと思ったから俺のOpus4.8とFable5で作った
プロトタイプ、スケルトン、未完成、言い方は何でも良いが公開しとくわ
コメントはほぼ日本語なんで海外勢向けではないがな
まぁAIに読み込ませてコメント英語化するとか容易だろうし許せ

https://github.com/Takkun-kohinata/IUT_LEAN
Opus4.8とFable5で作ったIUTの形式化