>>644
>LANAは遠アーベル幾何学のライブラリ実装も兼ねてるって話だから7月17日の中間報告ではGithubが流石に公開されると思うから期待やね

無理じゃないかなあ
もともとそれがゴールだったら1年半かけてるから終わってるはず
ゴールはIUT理論の正当性で
そっちのギャップが深刻な状態
その状態で遠アーベル幾何学ライブラリの構築に集中できると思えない
海外みたいにプロジェクトが数学の方はやらない専門プログラマ雇ってれば別だけど日本は不得意なやり方