F2F

MiniF2F (test)

100

MiniF2F (val)

59

miniF2F Isabelle (val)

41

miniF2F Isabelle (test)

39

miniF2F rw (test)

24

miniF2F rw (val)

24

miniF2F Lean (test)

24

miniF2F

18

miniF2F (test)

16

miniF2F (val)

15

MiniF2F (test)

13

miniF2F

12

miniF2F

12

miniF2F (val)

11

miniF2F Lean (val)

10

MINIF2F 244 problems

9

miniF2F (test)

6

miniF2F Easy Mode (test)

5

miniF2F full n=244

4

miniF2F Lean (curriculum)

3

miniF2F Hard Mode (test)

2

F2F mini

1