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