- Mechanized Reasoning (Stanford)
- ORA Bibliography of Automated Deduction
- Automated Induction (by David McAllester)
- Automated Deduction (by Tomás Uribe)
- Logical Frameworks
- Formal Methods Library (Oxford)

- Agda
- Alf
- Tutch theorem prover From Munich (Abel). Suitable for teaching. Uses notation similar to imperative programming languages (begin - end).
- Proof General (Generic emacs interface for interactive proof assistants)
- Twelf
- TPS (Theorem proving software; with ETPS, teaching software for TPS)
- TPTP
- QED
- PVS (based on Church's theory of types)
- Metamath Solitaire (Theorem proofer as a Java Applet, ZFC and other logics)
- Automated Reasoning Project, Australian National University
- The Logics Workbench (LWB) from Bern, Switzerland
- Logic Software from St. Andrews
- Minlog
- Alf
- Alfa
- REDLOG (predicate logic, quantor elimination decidability procedures for theories of fields)
- Web page drawing type assignment figures (by Sachio Hirokawa)
- The HOL Theorem Proving System
- Isabelle (Some informations from Munich)
- IMPS
- Cornell Nuprl Automated Reasoning Project
- Logical Frameworks
- COQ documentation
- The LEGO Proof Assistant
- Logic Software from CSLI (by Jon Barwise and John Etchemendy)
- ftp-Server in Chalmers, for getting ALF
- Porgi - Proof-Or-Refutation Generator for Intuitionistic propositional logic
- Lambda, a program for solving lambda definability problems of order at most two

- Logic Software from CSLI (by Jon Barwise and John Etchemendy)
- ARACNE Project

- ftp-Server in Chalmers, for getting ALF
- Ftp-Server on the Lics-Server
- The LICS anonymous ftp area is
*research.bell-labs.com*, directory*/dist/lics*.

It contains, among others, recent announcements, in various formats

(e.g. LaTeX, postscript, plain text).

- The LICS anonymous ftp area is
- TU-ftp server
- Server in Erlangen
- Server in Mainz
- Software in Mathematics, (European Mathematical Society)

- back to table of contents for Logic Servers Worldwide
- back to Theoretical Computer Science at Swansea
- back to Computer Science at Swansea