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