Parallel program calculation in Coq - EJCP 2014

Lecture

• The slides
• Code of the lecture Coq examples: lecture2_coq.tar.gz

Practice

• OCaml 4, Coq 8.4 (could be easily installed using OPAM)
• Bulk Synchronous Parallel ML (BSML): version 0.5.4pre
• SyDPaCC version ejcp2014
• Recommended: emacs and ProofGeneral

To learn more