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.30.0

  2. Git dependency.
    Found on Reservoir.

    aesopv4.30.0

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

    Qqv4.30.0

    Intuitive, type-safe expression quotations for Lean 4.
  4. Git dependency.
    Found on Reservoir.

    premise-selectionfa74073