Sylph 0.2.5

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

// Install Sylph as a Cake Tool
#tool nuget:?package=Sylph&version=0.2.5
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 371 5/3/2020
0.2.5.1 273 5/3/2020
0.2.5 316 5/3/2020
0.2.4 211 4/29/2020
0.2.3 302 3/24/2020
0.1.0 225 2/22/2020

assoc_and is a derived rule. Add Truth tactic