Calcolemus 1.0.5
dotnet add package Calcolemus --version 1.0.5
NuGet\Install-Package Calcolemus -Version 1.0.5
<PackageReference Include="Calcolemus" Version="1.0.5" />
paket add Calcolemus --version 1.0.5
#r "nuget: Calcolemus, 1.0.5"
// Install Calcolemus as a Cake Addin #addin nuget:?package=Calcolemus&version=1.0.5 // Install Calcolemus as a Cake Tool #tool nuget:?package=Calcolemus&version=1.0.5
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
- to create an api documentation
Fork main changes
The conversion to .NET Core itself.
The
thm
type has been changed from a simple type abbreviation offormula<fol>
to a discriminated union with a single private caseTheorem 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 typelet t : thm = False
In conjunction with the above change, the
ProofOperators
module inlcf
has been renamed toProofSystem
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 Calcolemus (Automated Reasoning in First Order Logic).
Product | Versions 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. |
-
net7.0
- FSharp.Core (>= 7.0.400)
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.5 | 254 | 10/26/2023 |