Nymph is a natural language theorem prover that uses natural language to state and write proofs of logical and mathematical theorems.
Info
| Version: | 0.1.0-alpha |
| Author(s): | Allister Beharry |
| Last Update: | Wednesday, June 24, 2020 |
| .NET Fiddle: | Create the first Fiddle |
| Project Url: | https://github.com/allisterb/Sylvester/tree/master/src/Lang/Nymph |
| NuGet Url: | https://www.nuget.org/packages/Nymph |
Install
Install-Package Nymph
dotnet add package Nymph
paket add Nymph
Nymph Download (Unzip the "nupkg" after downloading)
Dependencies
.NETFramework 4.5
- Sylvester.Expressions(>= 1.0.0)
- FSharp.Core(>= 4.3.4)
- FSharpPlus(>= 1.0.0)
- System.ValueTuple(>= 4.4.0)
- Sylvester.Expressions(>= 1.0.0)
- FSharp.Core(>= 4.3.4)
- FSharpPlus(>= 1.0.0)
Tags
