No results found

miniF2F-lean4

miniF2F dataset ported into Lean 4
Displaying 1-7 of 7 dependencies of miniF2F-lean4
Sort by

  1. std
    a7543d1

  2. Qq
    fd76083

  3. aesop
    c51fa8e

  4. proofwidgets
    16cae05

  5. Cli
    a751d21

  6. importGraph
    64d082e

  7. mathlib
    e3e4eea