3 ms·
We would work with you to make formal specifications and then verify that your code satisfies them, and help modify it until it does. We are open to Rust, yes.
by ak1930 3y ago
We would work with you to make formal specifications and then verify that your code satisfies them, and help modify it until it does.
We are open to Rust, yes.