Zen Protocol dialect of FStar.
Info
| Version: | 0.0.26 |
| Author(s): | Zen Protocol, Microsoft Research, INRIA |
| Last Update: | Wednesday, August 29, 2018 |
| .NET Fiddle: | Create the first Fiddle |
| NuGet Url: | https://www.nuget.org/packages/ZFStar |
Install
Install-Package ZFStar
dotnet add package ZFStar
paket add ZFStar
ZFStar Download (Unzip the "nupkg" after downloading)
