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. Local path dependency.
    Not found on Reservoir.

    HammerCore0.0.0

  2. Git dependency.
    Found on Reservoir.

    Qqv4.28.0

    Intuitive, type-safe expression quotations for Lean 4.
  3. Git dependency.
    Not found on Reservoir.

    premise-selection546741e