| 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: The Coq proof assistant
Description: Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts a certified program from the constructive proof of its formal specification.
Directory: Science/Math/Logic_and_Foundations/Computational_Logic/Logical_Frameworks/Coq
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