Coq in a Hurry
| dc.creator | Bertot, Yves | |
| dc.date | 2006-03-29 | |
| dc.date | 2008-11-07 | |
| dc.date.accessioned | 2026-07-07T10:16:30Z | |
| dc.date.available | 2026-07-07T10:16:30Z | |
| dc.description | These notes provide a quick introduction to the Coq system and show how it can be used to define logical concepts and functions and reason about them. It is designed as a tutorial, so that readers can quickly start their own experiments, learning only a few of the capabilities of the system. A much more comprehensive study is provided in [1], which also provides an extensive collection of exercises to train on. | |
| dc.identifier | https://arxiv.org/abs/cs/0603118 | |
| dc.identifier | http://arxiv.org/abs/cs/0603118 | |
| dc.identifier | Cours (2008) 22 pages | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/173529 | |
| dc.subject | Logic in Computer Science | |
| dc.title | Coq in a Hurry | |
| dc.type | text |