Français
5. Learn Rooster
The more than five hundred pages of the Coq reference manual should not frighten the future user. Coq is intended to be a very complete program, with numerous tools to help the user develop correct demonstrations. In just a few days, you'll be able to prove the correctness of small, simple functional programs such as the sorting function given as an example in this article. This can be achieved by working through the many tutorials or more comprehensive books
The Ultimate Scientific and Technical Reference
This article is included in
Software technologies and System architectures
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Learn Rooster
Conclusion
Bibliography
- (1) - - The CompCert compiler. http://compcert.inria.fr .
- (2) - - OCaml page. http://www.ocaml.org/...
The Ultimate Scientific and Technical Reference
