FolAutomReas 1.0.2

There is a newer version of this package available.
See the version list below for details.
dotnet add package FolAutomReas --version 1.0.2                
NuGet\Install-Package FolAutomReas -Version 1.0.2                
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.
<PackageReference Include="FolAutomReas" Version="1.0.2" />                
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add FolAutomReas --version 1.0.2                
#r "nuget: FolAutomReas, 1.0.2"                
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package.
// Install FolAutomReas as a Cake Addin
#addin nuget:?package=FolAutomReas&version=1.0.2

// Install FolAutomReas as a Cake Tool
#tool nuget:?package=FolAutomReas&version=1.0.2                

Automated Reasoning in First Order Logic

This is a fork of the repository https://github.com/jack-pappas/fsharp-logic-examples, which in turn is the porting in F# of the code from John Harrison's "Handbook of Practical Logic and Automated Reasoning".

Fork main purposes

  • to have a .Net Core version of the solution
  • to have a nuget package

Fork main changes

The thm type has been changed from a simple type abbreviation of formula<fol> to a discriminated union with a single private case Theorem of formula<fol> to ensure that it is impossible to create new theorems without going through the inference rules defined and thus introduce theorems inconsistent with expressions of the type

 let t : thm = False

In conjunction with this change, the ProofOperators module in lcf has been renamed to ProofSystem like the original OCaml module.

For better understanding of the source code and more modular documentation, the lib file has been split into a series of modules organized together in the FOL.lib (to maintain the reference to the original file) namespace.

The name of the namespace has been changed to FolAutomReas (Automated Reasoning in First Order Logic).

Product Compatible and additional computed target framework versions.
.NET net7.0 is compatible.  net7.0-android was computed.  net7.0-ios was computed.  net7.0-maccatalyst was computed.  net7.0-macos was computed.  net7.0-tvos was computed.  net7.0-windows was computed.  net8.0 was computed.  net8.0-android was computed.  net8.0-browser was computed.  net8.0-ios was computed.  net8.0-maccatalyst was computed.  net8.0-macos was computed.  net8.0-tvos was computed.  net8.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

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
1.0.3 197 9/16/2023 1.0.3 is deprecated because it is no longer maintained.
1.0.2 150 9/7/2023