New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises.
http://www.dcproof.com
A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and operate on propositional logic formulae.
http://logik.phl.univie.ac.at/~chris/formular-uk.html
is an approach for specifying digital logic circuits and translating them to LOTOS.
http://www.cs.stir.ac.uk/~kjt/software/lotos/dill.html
Classic logic minimization package.
http://www-cad.eecs.berkeley.edu/Software/software.html
A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.
http://www.lemma-one.com/ProofPower/index/
Program.
http://margo.student.utwente.nl/el/cad-cam/mini450.exe
A linear logic prover that searches a cut-free proof for the given two-sided sequent of first-order linear logic.
http://bach.scitec.kobe-u.ac.jp/llprover/
http://www.interfacebus.com/Logic_Design_Top.html