search

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

Version 0.2, compatible with Dafny 3.0.0 and .NET Core 5 #7

Closed jaylorch closed 3 years ago