INF551: Computer-aided reasoning

For all questions, do not hesitate to email Stephane.Lengrand[AT]Polytechnique.edu