HN Reader
New
Top
Best
Ask
Show
Job
Discharging Lean goals into SMT solvers
34
2
19 hours ago
by ndrwnaguib
Similar to sledgehammer in Isabelle/HOL.
14 hours ago
by benchmarkist
34
2342342