3 ms·
No, but you can transpile (incredibly trivial) Rust programs into Coq that can be than formally verified to give a defined output for all possible inputs.
by Jerrrrrrry 2y ago
No, but you can transpile (incredibly trivial) Rust programs into Coq that can be than formally verified to give a defined output for all possible inputs.
- papichulo2023 2y agoNo idea what this is about but sounds like a test with extra steps
- Jerrrrrrry 2y agoTest all the steps. All possible steps.