GitHub repository: JOSHCLUNE/lean-smt
Primary language: Lean
Description: Tactics for discharging Lean goals into SMT solvers.