INF551: Computer-aided reasoning

Exam (Coq part)

Download the file exam.v. Everything is in it.

Please email your file to stephane.lengrand@polytechnique.edu by 16:30.

The correction is available at 16:30 exam-correction.v

Everything is in it.