ログイン
会員登録
Lean4
書いてみる
関連タグ
#2024東大数学 (2)
#ABC予想 (124)
#CoQ (7)
#ICLR2024 (2)
#IUT理論 (57)
#カテゴリー理論 (1)
人気
急上昇
新着
定番
有料のみ
2件
人気の記事一覧
【2024年東大理系数学】有名予備校の解答に強烈ダメ出し?え!?これヤバイやつやん!【1】
小林照幸
3か月前
4
An Evaluation Benchmark for Autoformalization in Lean4
Ikemen Mas Kot
3か月前