| |
 |
Category List - Main » Science » Math » Logic and Foundations |
 |
|
New Sites - Main » Science » Math » Logic and Foundations » Software |
|
|
DC Proof Online (27th April, 2005) : 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. |
|
PVS (27th April, 2005) : 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. Required is Emacs (version 19 or later), recommended LaTeX and Tcl/Tk. Download by FTP. |
|
Top Sites - Main » Science » Math » Logic and Foundations » Software |
|
DC Proof Online ( ) : 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.
|
|
PVS () : 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. Required is Emacs (version 19 or later), recommended LaTeX and Tcl/Tk. Download by FTP.
|
|
|
