SPASS
as a workbench of tools where the successor of the classic prover is simply one component.
Proof assistant · by Max Planck Institute for Informatics · spass-prover.org
Open SPASS in AirStackWhat SPASS’s own pages say
| What it says it does | as a workbench of tools where the successor of the classic prover is simply one component. spass-prover.org |
|---|
Each value is a quote AirStack found on the product’s own pages, read 2026-11-05. A missing field means AirStack has not found it on its pages.