Lecture 19: Proofs

88 Views

This video explains how to improve automatic proof performances and provides some hints about the relation between modelling and ease to prove.

Sign in to receive news from MOOC IMD and to access course forums.