7 ms·
Being critical and pursuing the issue is one thing. You can find lots of work on formally verifying rust code as well as it's type safety online.
by staticassertion 10y ago
Being critical and pursuing the issue is one thing. You can find lots of work on formally verifying rust code as well as it's type safety online.