The Coq Project - Deals with effectively machine-checked formal mathematics.


Home		Set as Homepage		Add to Favorite		Contact

27 November, 2009

search for

egories

New Addition

Polyester Bath Mats Manufacturers

Advanced Combustion Technology, Inc.

Indian Staffing Services

Carpet Cleaning Victoria

Color Guard Floors

San Francisco Caregiver

Baltimore Innovations- Desiccant and Moisture Control Experts

Griffin Construction Services

Hotel in Jodhpur - Hotel Sachdeva Excellency

Indian Institute of Alternative Medicine

Solar Panels Outlet

Kitchens

Door Architrave Manufacturers

Dynamic Website Designing

Kobe Motor Company Exports Japanese Used Cars

Bamboo Flooring

OmniCoil Spring Works Inc.

Affordable Used Cars

Australian Vets.

Mercator

Category: Main » Science » Math » Logic and Foundations » Software	UPDATE INFO \| REPORT BROKEN LINK
The Coq Project	Popularity: Hit: 72

Details:

	Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms well-suited for implementations, the implementations themselves and the use of these for various applications. Focuses on software correctness proofs. Sponsored Links:
URL:	http://pauillac.inria.fr/coq/
Title:	The Coq proof assistant
Description:	Science, Math, Logic and Foundations, Software - The Coq Project. Deals with effectively machine-checked formal mathematics.
Specialized in:

LWB (Popularity:

): Logics Workbench.
PROTEIN (Popularity:

): A PROver with a Theory Extension INterface. Theorem prover for first-order clause logic, written in ECRC's Prolog-dialect ECLiPSe. Free download, ...
Database of Existing Mechanized Reasoning Systems (Popularity:

): A list (>50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools.
Automated Reasoning Project (Popularity:

): Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite ...
MUltseq (Popularity:

): A generic sequent prover for propositional finitely-valued logics.
MUltlog (Popularity:

): Takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and ...
WinKE: A Proof Assistant for Teaching Logic (Popularity:

): WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information ...
Logic Software from CSLI (Popularity:

): By Jon Barwise and John Etchemendy.
ProofPower (Popularity:

): A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.
LOOM (Popularity:

): A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at ...

Popular Sites

WinKE: A Proof Assistant for Teaching Logic (Popularity:

): WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information ...
LOOM (Popularity:

): A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at ...
MUltseq (Popularity:

): A generic sequent prover for propositional finitely-valued logics.
Gateway to Logic (Popularity:

): A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and ...
The Coq Project (Popularity:

): Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms well-suited for implementations, the implementations ...

Related Press

TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity:

): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
BJ Services Reports Fourth Fiscal Quarter Net Loss From Continuing Operations of $0.01 per Diluted Share (Popularity:

): BJ Services Company (NYSE: BJS; PCX; CBOE) today reported a net loss from continuing operations of $2.8 million, or $(0.01) ...
Verizon Wireless and The Mattie C. Stewart Foundation Partner to Increase Graduation Rate in St. Louis Schools (Popularity:

): Verizon Wireless has announced its sponsorship of putting the InsideOut documentary in every St. Louis public school, enabling all area ...
A First for Fashion Bug: Stores Open Thanksgiving Day (Popularity:

): This year, Fashion Bug makes a decision to open selected stores for limited hours on Thanksgiving Day. Along with a ...
Limited Brands Reports Third Quarter 2009 Earnings (Popularity:

): Limited Brands, Inc. (NYSE: LTD) today reported 2009 third quarter results. Third Quarter Results Adjusted earnings per share for the third quarter ...

Related Articles

Looking For the Ideal Woodworking Table Plan? (Popularity:

): A woodworking table plan is extremely helpful for anyone wanting to make their own wood table. A good plan will ...
Mini Sewing Machines - Not Just For Mini Skirts (Popularity:

): The Benefits Of Mini Sewing Machines Mini sewing machines are a lot cheaper than the full version. Mini machines are good ...
Finding Your Flipping Finances (Popularity:

): If you're planning on doing a fix and flip, it goes without saying that you'll need a sizeable investment for ...
Shopping For Men's Swimwear - A Lesson in Social Acceptance (Popularity:

): Take a moment to consider; how often are the choices in our lives influenced by what others may, or may ...
Teaching You How to Burn PS3 Games the Proper Way (Popularity:

): With powerful new technology like the PlayStation 3, game burning has become even more complicated. Even if you've mastered burning ...