Read news on Xr0 verifier with our app.
Read more in the app
Xr0 verifier, guarantee the safety of C programs at compile time