Ganjabi Bookmarks zu logic

The Coq proof assistant

http://coq.inria.fr/

imported logic prover theorem

Sequent Calculus Prover (seqprover)

http://bach.istc.kobe-u.ac.jp/seqprover/

logic prover software

A Linear Logic Prover (llprover)

http://bach.istc.kobe-u.ac.jp/llprover/

logic prover software

Bedwyr

http://slimmer.gforge.inria.fr/bedwyr/

logic ocaml prover software

TPTP: Thousands of Problems for Theorem Provers

http://www.cs.miami.edu/~tptp/

cs logic programming prover software

The Rho-Calculus Home Page

http://rho.loria.fr/

cs logic math prover research software

Combinations of decision procedures

http://www.mpi-inf.mpg.de/~hillen/documents/9_Comb...

logic math programming prover todo verification

SMT-LIB (Satisfiability Modulo Theories Library)

http://combination.cs.uiowa.edu/smtlib/

later logic prover verification