GitHub repository: ufmg-smite/lean-smt
Primary language: Lean
Created: 2021-11-23T20:54:14Z
Description: Tactics for discharging Lean goals into SMT solvers.