Sylph 0.2.5.1

There is a newer version of this package available.
See the version list below for details.
Install-Package Sylph -Version 0.2.5.1
dotnet add package Sylph --version 0.2.5.1
<PackageReference Include="Sylph" Version="0.2.5.1" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Sylph --version 0.2.5.1
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Sylph, 0.2.5.1"
#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.1

// Install Sylph as a Cake Tool
#tool nuget:?package=Sylph&version=0.2.5.1
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

See the project page for the latest documentation.

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 368 5/3/2020
0.2.5.1 270 5/3/2020
0.2.5 311 5/3/2020
0.2.4 209 4/29/2020
0.2.3 298 3/24/2020
0.1.0 223 2/22/2020

assoc_and is a derived rule. Add Truth tactic