Discharging Lean goals into SMT solvers

31 points

by ndrwnaguib

9 hours ago

1 comments