LeanHammer. LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines them into one tool.
QuerySMT. Lean
DuperDemo. Lean
Keller_reduction. Lean
