Discharging Lean goals into SMT solvers

(github.com)

31 points | by ndrwnaguib 9 hours ago ago

1 comments

  • benchmarkist 4 hours ago

    Similar to sledgehammer in Isabelle/HOL.