N
Hacker Next
new
show
ask
jobs
submit
login
Discharging Lean goals into SMT solvers
github.com
50 points by
ndrwnaguib
4 days ago
|
3 comments
add comment