AI4M/mma-dataset
Viewer • Updated • 88.5k • 34 • 1
Informal-Formal
-
-
AI4M/leandojo-informalized
Viewer • Updated • 31.1k • 56 • 1 -
Inuyasha2023ch/LeanStatement
Viewer • Updated • 90.9k • 17 • 2 -
internlm/Lean-Workbook
Viewer • Updated • 25.2k • 829 • 57 -
casey-martin/multilingual-mathematical-autoformalization
Viewer • Updated • 666k • 272 • 5 -
pkuAI4M/LeanWorkbook
Viewer • Updated • 140k • 81