ZFStar NuGet Package

Zen Protocol dialect of FStar.




Got any ZFStar Question?





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)





STATS

must-have-score

avg-downloads-per-day

6

days-since-last-release

2309