Skip To Content
Toggle navigation
Packages
Upload
Statistics
Documentation
Downloads
Blog
Sign in
Advanced search filters
Frameworks
Include compatible frameworks
Framework Filter Mode
ALL
ANY
.NET
net8.0
net7.0
net6.0
net5.0
.NET Core
netcoreapp3.1
netcoreapp3.0
netcoreapp2.2
netcoreapp2.1
netcoreapp2.0
netcoreapp1.1
netcoreapp1.0
.NET Standard
netstandard2.1
netstandard2.0
netstandard1.6
netstandard1.5
netstandard1.4
netstandard1.3
netstandard1.2
netstandard1.1
netstandard1.0
.NET Framework
net481
net48
net472
net471
net47
net462
net461
net46
net452
net451
net45
net40
net35
net30
net20
Package type
All types
Dependency
.NET tool
Template
Options
Include prerelease
3 packages returned for Tags:"proving"
Sort by
Relevance
Downloads
Recently updated
FolAutomReas
by:
do-masin
Deprecated
.NET 7.0
269 total downloads
last updated
9/16/2023
Latest version:
1.0.3
logic
automated
reasoning
interactive
theorem
proving
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F#
Calculemus
by:
do-masin
.NET 7.0
240 total downloads
last updated
11/5/2023
Latest version:
1.0.6
logic
automated
reasoning
interactive
theorem
proving
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F#
Calcolemus
by:
do-masin
Deprecated
.NET 7.0
236 total downloads
last updated
10/26/2023
Latest version:
1.0.5
logic
automated
reasoning
interactive
theorem
proving
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F#