AI4M/mma-dataset
Viewer
•
Updated
•
88.5k
•
46
Informal-Formal
-
-
AI4M/leandojo-informalized
Viewer • Updated • 31.1k • 60 • 1 -
Inuyasha2023ch/LeanStatement
Viewer • Updated • 90.9k • 40 • 2 -
internlm/Lean-Workbook
Viewer • Updated • 25.2k • 361 • 48 -
casey-martin/multilingual-mathematical-autoformalization
Viewer • Updated • 666k • 1.18k • 4 -
pkuAI4M/LeanWorkbook
Viewer • Updated • 140k • 55