GitHub repository: phlippe/Lean_hammer
Primary language: Lean
Description: Development repository of a hammer for Lean.