ufmg-smite/lean-smt

Tactics for discharging Lean goals into SMT solvers.

52 best points · 3 comments · 1 Hacker News post · 317 GitHub stars · View on GitHub

Hacker News discussions

• Discharging Lean goals into SMT solvers (52 points, 3 comments, by ndrwnaguib, 2024-11-21)