It is very likely that we can start using Rodin next week (Wednesday, Feb. 19th). To get the most of the lectures, please install Rodin in your laptops and bring them to the classroom so that we can start to develop models and prove properties.

Please have a look at

https://wp.software.imdea.org/cbc/rodin-installation-and-tips/

for instruction installations and some generic advice!

Best,