Submit Site, Add URL - Main » Science » Math » Logic and Foundations

search for

Submit WebSite / Add URL Form :: Science » Math » Logic and Foundations » Software [Search Category]

Submission Type	Premium Listing Speedy review of your website for inclusion. Within 24 hours inclusion. Direct hyperlink to your site. Maximum Exposure. One time $49 payment only , no annual renewal required.
URL *
Title *
Description *
Your Name *
Contact E-Mail *
Country
State/City
Address
Spam Protection *	What is the fourth word in the phrase "kerimaf joxisy puhawal cim nuvef won tak xudyn qutover sakewema"? This question is for testing whether you are a human visitor and to prevent automated spam submissions
Comments to Editor
Your IP	18.119.14.235

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.