3 ms·
That's fascinating. Can you direct me to any of their papers or public work formally verifying a rust codebase? I haven't seen that before.
by grumblenum 5y ago
That's fascinating. Can you direct me to any of their papers or public work formally verifying a rust codebase? I haven't seen that before.