Lean4

書いてみる

関連タグ

#2024東大数学 (2)
#ABC予想 (124)
#CoQ (7)
#ICLR2024 (3)
#IUT理論 (58)
#カテゴリー理論 (1)

【2024年東大理系数学】有名予備校の解答に強烈ダメ出し？え！？これヤバイやつやん！【1】

小林照幸
7か月前

An Evaluation Benchmark for Autoformalization in Lean4

Ikemen Mas Kot
6か月前