Software - Musharof Chy
ACL2 Version 2.7
A programming language in which you can model computer systems and a tool to help prove properties ...
MUltlog
Takes as input the specification of a finitely-valued first-order logic and produces a sequent calc...
Isabelle
A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Muni...
ProofPower
A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.
LOOM
A language and environment for constructing intelligent applications. It is a research project in t...
PVS
The PVS Specification and Verification System. Available for Sparc machines with Solaris 2 and Inte...
Tree Proof Generator
An implementation of the semantic tableaux method for classical propositional and predicate logic, ...
Gateway to Logic
A collection of web-based logic programs offering a number of logical functions: interactively or a...
llprover
A linear logic prover that searches a cut-free proof for the given two-sided sequent of first-order...
DC Proof Online
New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to ...