Get the latest tech news
Leonardo de Moura — Creator of Lean and Z3
None
Get the Android app
Read more on:
kernel soundness bug