miniF2F-lean4
miniF2F dataset ported into Lean 4
of 7 dependencies of miniF2F-lean4
1-7Sort by
Require Order
- std
a7543d1
- Qq
fd76083
- aesop
c51fa8e
- proofwidgets
16cae05
- Cli
a751d21
- importGraph
64d082e
- mathlib
e3e4eea
a7543d1
fd76083
c51fa8e
16cae05
a751d21
64d082e
e3e4eea