Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Discharging Lean goals into SMT solvers
(github.com/ufmg-smite)
52 points
ndrwnaguib
2 years ago
3 comments