Nymph 0.1.0-alpha

This is a prerelease version of Nymph.
Install-Package Nymph -Version 0.1.0-alpha
dotnet add package Nymph --version 0.1.0-alpha
<PackageReference Include="Nymph" Version="0.1.0-alpha" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Nymph --version 0.1.0-alpha
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Nymph, 0.1.0-alpha"
#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 Nymph as a Cake Addin
#addin nuget:?package=Nymph&version=0.1.0-alpha&prerelease

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

Nymph is a natural language theorem prover that uses natural language to state and write proofs of logical and mathematical theorems.

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
0.1.0-alpha 200 6/24/2020

Create NuGet project.