iasdj38103

4 ms·

1. 1.▲
   Cracking the Coding Interview in Dafny: Permutations(dafny.org)

   1 points by iasdj38103 3y ago|0 comments
2. 2.▲
   by iasdj38103 3y ago

   Amazon uses Dafny to ensure that their authorization engine makes correct decisions: https://www.amazon.science/blog/how-we-built-cedar-with-auto...