AI4M/mma-dataset
Viewer • Updated • 88.5k • 35 • 1
Informal-Formal
-
-
AI4M/leandojo-informalized
Viewer • Updated • 31.1k • 33 • 1 -
Inuyasha2023ch/LeanStatement
Viewer • Updated • 90.9k • 17 • 2 -
internlm/Lean-Workbook
Viewer • Updated • 25.2k • 658 • 56 -
casey-martin/multilingual-mathematical-autoformalization
Viewer • Updated • 666k • 169 • 4 -
pkuAI4M/LeanWorkbook
Viewer • Updated • 140k • 8