Update Dafny's URL in README

microsoft / Ironclad

The MSR Ironclad project builds provably secure and reliable systems.

http://research.microsoft.com/en-us/projects/ironclad/

Other

241 stars 56 forks source link

Update Dafny's URL in README #4

Closed cpitclaudel closed 8 years ago

msftclas commented 8 years ago

Hi @cpitclaudel, I'm your friendly neighborhood Microsoft Pull Request Bot (You can call me MSBOT). Thanks for your contribution! You've already signed the contribution license agreement. Thanks!

The agreement was validated by Microsoft and real humans are currently evaluating your PR.

TTYL, MSBOT;