Welcome to the jsCoq-powered version of the 'Modelling and Verifying Algorithms in Coq' course, given at CEA-EDF-INRIA summer school, INRIA Paris-Rocquencourt, Antenne Parisienne, 2011. The presented code is executable and can be run directly using the jsCoq icon on the top right corner of each page.
Content