Dear all,

next Wednesday, Feb. 18th, I expect to start using Rodin. 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,