JOSHCLUNEHammer

LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines them into one tool.
Sort by
  1. Git dependency.
    Found on Reservoir.

    Duperv4.34.0

  2. Git dependency.
    Found on Reservoir.

    Smt7e54df3

    Tactics for discharging Lean goals into SMT solvers.
  3. Git dependency.
    Found on Reservoir.

    aesopv4.34.0

    White-box automation for Lean 4
  4. Git dependency.
    Found on Reservoir.

    premise-selectionv4.34.0