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
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Learn Rooster
Conclusion
Article included in this offer
"Software technologies and System architectures"
(
230 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
- (1) - - The CompCert compiler. http://compcert.inria.fr .
- (2) - - OCaml page. http://www.ocaml.org/...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
