Sylph 0.2.5.2

Install-Package Sylph -Version 0.2.5.2
dotnet add package Sylph --version 0.2.5.2
<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
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#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
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

F# language-integrated proof assistant.

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 318 5/3/2020
0.2.5.1 255 5/3/2020
0.2.5 292 5/3/2020
0.2.4 186 4/29/2020
0.2.3 273 3/24/2020
0.1.0 208 2/22/2020

assoc_and is a derived rule. Add Truth tactic