Category:Coq: Difference between revisions
Content added Content deleted
m (fill in something to remove _stub_, for testing purpose) |
m (Added link to official site) |
||
(3 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
{{language|Coq |
|||
⚫ | |||
|site=http://coq.inria.fr |
|||
}} |
|||
⚫ | In computer science, Coq is a proof assistant application. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions. Coq is not an automated [[wp:Theorem_prover|theorem prover]] but includes automatic theorem proving tactics and various decision procedures. |
||
==Citations== |
==Citations== |
||
* [[wp:Coq|Coq]] |
* [[wp:Coq|Coq]] |
||
[[Category:Mathematical programming languages]] |
Latest revision as of 18:52, 15 March 2014
Coq
This programming language may be used to instruct a computer to perform a task.
Listed below are all of the tasks on Rosetta Code which have been solved using Coq.
This programming language may be used to instruct a computer to perform a task.
Official website |
---|
See Also: |
|
---|
In computer science, Coq is a proof assistant application. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions. Coq is not an automated theorem prover but includes automatic theorem proving tactics and various decision procedures.
Citations
Subcategories
This category has the following 3 subcategories, out of 3 total.
@
- Coq examples needing attention (empty)
- Coq Implementations (empty)
- Coq User (2 P)
Pages in category "Coq"
The following 12 pages are in this category, out of 12 total.