26/07/22 20:35:29.55 T9Q165NM.net
>>429 タイポ訂正
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開すべきだろう
↓
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開要請すべきだろう
補足
いまどき
Leanコードでの証明未達では
世間では通用しないことは
明白
査読を通って 掲載されてしまった論文だから
万機公論 議論をオープンにすべし！
26/07/22 20:35:29.55 T9Q165NM.net
>>429 タイポ訂正
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開すべきだろう
↓
１）望月＆星氏は 加藤氏のLANAプロジェクトに 現状のLeanコードを公開要請すべきだろう
補足
いまどき
Leanコードでの証明未達では
世間では通用しないことは
明白
査読を通って 掲載されてしまった論文だから
万機公論 議論をオープンにすべし！