Sylph 0.2.5.2

.NET Standard 2.0 .NET Framework 4.5
dotnet add package Sylph --version 0.2.5.2
NuGet\Install-Package Sylph -Version 0.2.5.2
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.
<PackageReference Include="Sylph" Version="0.2.5.2" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Sylph --version 0.2.5.2
#r "nuget: Sylph, 0.2.5.2"
#r directive can be used in F# Interactive, C# scripting and .NET Interactive. Copy this into the interactive tool or source code of the script to reference the package.
// Install Sylph as a Cake Addin
#addin nuget:?package=Sylph&version=0.2.5.2

// Install Sylph as a Cake Tool
#tool nuget:?package=Sylph&version=0.2.5.2

F# language-integrated proof assistant.

Product Versions
.NET net5.0 net5.0-windows net6.0 net6.0-android net6.0-ios net6.0-maccatalyst net6.0-macos net6.0-tvos net6.0-windows net7.0 net7.0-android net7.0-ios net7.0-maccatalyst net7.0-macos net7.0-tvos net7.0-windows
.NET Core netcoreapp2.0 netcoreapp2.1 netcoreapp2.2 netcoreapp3.0 netcoreapp3.1
.NET Standard netstandard2.0 netstandard2.1
.NET Framework net45 net451 net452 net46 net461 net462 net463 net47 net471 net472 net48
MonoAndroid monoandroid
MonoMac monomac
MonoTouch monotouch
Tizen tizen40 tizen60
Xamarin.iOS xamarinios
Xamarin.Mac xamarinmac
Xamarin.TVOS xamarintvos
Xamarin.WatchOS xamarinwatchos
Compatible target framework(s)
Additional computed target framework(s)
Learn more about Target Frameworks and .NET Standard.

NuGet packages (1)

Showing the top 1 NuGet packages that depend on Sylph:

Package Downloads
Sylvester.AbstractAlgebra

F# Library for defining, exploring and proving concepts in abstract algebra.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
0.2.5.2 512 5/3/2020
0.2.5.1 365 5/3/2020
0.2.5 406 5/3/2020
0.2.4 301 4/29/2020
0.2.3 427 3/24/2020
0.1.0 329 2/22/2020

assoc_and is a derived rule. Add Truth tactic