定理証明支援ソフト「Lean（リーン）
は数学基礎論に基づき数学が対象です。

望月加藤文元が明言しているがIUTは
数学でなく全く新しい理論で未完成。
つまりトンデモで対象外です。
zen大学設立認可の宣伝にIUTの名を使いましたが、IUTはトンデモでIUT研究所は
潰れました