It is very likely that we will start using Rodin in the next lecture (Wed, 16th). Therefore I ask you to follow the instructions at

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

and

https://wp.software.imdea.org/cbc/#tools

to download and install it. Please come to the lecture with laptops and batteries as full as possible (sometimes there are no cable extensions available, although I will try to have some of them in the lecture room).

Best,