| Updated Blogs |
|
Computer Support Blog
Essensial Software for Web Based Support
HP Server and Desktop
HP ILO - Remote Tech-Support Software
More .....
|
JasmineCorp Search | Free Blogs | Free Tutorials | Free Guest Book | Buy Books | Advertise | Hosting | Web Designing | Software Development | Domain Registration | IP Locater | E-Cards | Whois | Games | Shopping
Title: NuPrl Proof Development System
Description: A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. IFeatures include: very expressive logical language based on Martin-Lof type theory, extensive library of formal mathematics and automata theory, possibility of an extraction a certified program from the constructive proof of its formal specification, graphical proof editor. NuPrl was successfully used in verifying components of the Ensemble group communications system.
Directory: Science/Math/Logic_and_Foundations/Computational_Logic/Logical_Frameworks
Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.
©2004 Jasmine Computers Inc.
Click here to subscribe for Jasminecorp's product News.
Home
|| Web Designing
|| Get
a Domain Name || Host
your Web site || Terms
of Service
Our Portfolio ||
Our Clients ||
Job Opportunities
|| Free GuestBook
|| Free
Quote
Buy Books
|| Tell a Friend
|| Special Offer
|| Contact Us
|| Free Tutorial
|| Add JasmineCorp Search
Submit a Site to Jasminecorp.net Directory