3 ms·How Amazon built Cedar with automated reasoning2 points by deterministic 3y agodeterministic 3y agoIt’s an interesting approach. Using proven correct code written in Dafny and testing it against the same code written in Rust.