HN Reader

New Top Best Ask Show Job

Discharging Lean goals into SMT solvers

52

3

1 year agoby ndrwnaguib

© 2024 wagao

Similar to sledgehammer in Isabelle/HOL.

1 year agoby benchmarkist