Hacker News new | ask | show | jobs
by fovc 541 days ago
Agree it’s not a toy. AWS implemented a large chunk of IAM in Dafny. Though IIRC they have their own non-public compiler to Java