Сайты, похожие на Proofgeneral.Inf.Ed.Ac.Uk

A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.

University of Waterloo - Universal algebra, logic, computers.

The PVS Specification and Verification System. Available for Sparc machines with Solaris 2 and Intel x86 Machines with Linux compatible with Redhat 5 or later ...

An automatic theorem prover based on set of support and ordered resolution for first-order logic. j'Imp is part of the Orbital library. This library is a Java class ...

Information on tool selection, associations, techniques, tips and advice. Includes gallery and artist information.

Technical University of Dresden, Germany.

An implementation of the semantic tableaux method for classical propositional and predicate logic, written in JavaScript/DOM.

The main page of the LWB Documentation