Hi, everyone. I should have sent this mail before -- sorry! If you can, bring your laptop to the lecture today and have Rodin installed, as explained at
https://wp.software.imdea.org/cbc/rodin-installation-and-tips/
Time permitting, we will type some models together.
If you cannot install Rodin / bring a laptop, it is completely OK. I will be constructing models live, but typing along with me instead of just watching provides a better experience, as you can make questions and learn from your mistakes.
Last, if you bring a laptop, please make sure its batteries are full. I've realized that there are not many plugs in the lecture room, and they are placed inconveniently. I will try to amend this, but I am afraid it won't be possible for today's lecture.
Best,