F# language-integrated proof assistant.
Info
| Version: | 0.2.5.2 |
| Author(s): | Allister Beharry |
| Last Update: | Sunday, May 3, 2020 |
| .NET Fiddle: | Online Example |
| Project Url: | https://github.com/allisterb/Sylvester/tree/master/src/Lang/Sylvester.Prover |
| NuGet Url: | https://www.nuget.org/packages/Sylph |
Install
Install-Package Sylph
dotnet add package Sylph
paket add Sylph
Sylph Download (Unzip the "nupkg" after downloading)
Dependencies
.NETFramework 4.5
- FSharp.Core(>= 4.3.4)
- System.ValueTuple(>= 4.4.0)
- FSharp.Core(>= 4.3.4)
Tags
