3 ms·

Cedar used to be written in Dafny, but AWS abandoned that implementation and rewrote it in Lean. https://aws.amazon.com/blogs/opensource/lean-into-verified-sof

by dranov 7mo ago

Cedar used to be written in Dafny, but AWS abandoned that implementation and rewrote it in Lean. https://aws.amazon.com/blogs/opensource/lean-into-verified-software-development/ https://aws.amazon.com/blogs/opensource/lean-into-verified-s...

muraiki 7mo ago
Oh whoops, thank you for the correction! I didn't realize that.