3 ms·
It’s an interesting approach. Using proven correct code written in Dafny and testing it against the same code written in Rust.
by deterministic 3y ago
It’s an interesting approach. Using proven correct code written in Dafny and testing it against the same code written in Rust.