Updated source code for Cours Vidéo de Coq 2009 by Yves Bertot.
Original code by Yves Bertot is modified where needed to compile with Coq 8.9
cours-coq-Bertot-2009 is an EDLA project.
The purpose of edla.org is to promote the state of the art in various domains.
Coq 8.9 or later
© 2018 Olivier ROLAND. Distributed under the GPLv3 License.