This is your work, valued
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
