eprover

Equational theorem prover

Command lineScience

Not tested on a device yet. What that means

Commands in the package

eprover
checkproof
e_axfilter
e_deduction_server
e_ltb_runner
e_stratpar
eground
ekb_create
ekb_delete
ekb_ginsert
ekb_insert
epclextract

About eprover

From Debian's package description

This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof.

From Debian's description of the eprover package, under that package's license.

Dependencies

Depends on

libc6
picosat

Related apps

gdal-binGeospatial Data Abstraction Library - Utility programsCommand line
exonerategeneric tool for pairwise sequence comparisonCommand line
gbrowseGMOD Generic Genome BrowserCommand line
z3theorem prover from Microsoft ResearchCommand line
wisecomparison of biopolymers, like DNA and protein sequencesCommand line
reliontoolkit for 3D reconstructions in cryo-electron microscopyCommand line

All Linux science apps

Sources and licenses

Name: the Debian package name.
Summary: Debian's short description of the eprover package, under that package's license.
Description: Debian's description of the eprover package, under that package's license.
Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
Popularity: Debian Popularity Contest counts.