お前の妄想に付き合うのも飽き飽きだから
続けたかったら引用よろしく
できるよな
お前の妄想じゃなければ

https://zen.ac.jp/zmc/topics/jwz-o8xr3v6f
LANAプロジェクトのどこ読めば
２のために１があるなんて誤読できんの？
そういう箇所があるんなら引用して

LANA (Lean for ANAbelian geometry)だから
１，２両方ともLean+遠アーベルのプロジェクトだけど
１と２の間の関係についてなんか言ってる？
そういう箇所があるんなら引用して

一般論としてライブラリ構築は数学に役立つから
ってゆーかそのためにライブラリ構築をやってんだから
１が多少は２の役に立って当たり前だけど
特に役立つみたいなことどこかで言ってる？
そういう箇所があるんなら引用して