A Dataset for machine translation from natural language mathematical statement to Lean statement
dataset statistics
| subject | num |
|---|---|
| basic | 1 |
| analysis | 1 |
| init/int/basic.lean | 3 |
| algebra/classes | 20 |
| group_theory | 2 |
| data/rat/basic.lean | 72 |
| data/rat/sqrt.lean | 3 |
| data/rat/order.lean | 7 |
| init/data/nat/basic.lean | 17 |
| init/data/nat/gcd.lean | 7 |
| init/data/nat/lemmas.lean | 98 |