X xr0.dev Xr0 verifier, guarantee the safety of C programs at compile time 114 points Alifatisk 10 months ago 67 comments
