競技プログラミングにハマるプログラマのスレ 178

[過去ﾛｸﾞ] 競技プログラミングにハマるプログラマのスレ 178 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

594: 2024/05/19(日)14:11 AAS
IUTeichは天才同士が喧嘩してて100 - 10^(-7)%ぐらいの凡人からすると意味わかんねえんだよ
論争になってるポイントだけでも定理証明支援ツールみたいなの使って白黒つけられないのか