Hi, everyone.
As I mentioned during the last lecture, we will be using the Rodin tool this week.
Please go to
https://wp.software.imdea.org/cbc/rodin-installation-and-tips/
and follow the instructions there. Make sure your installation starts up. If it doesn't, please post _to this list_: if your question reaches other classmates, perhaps they can help you to find a solution.
It'd be also great if you could familiarize yourselves with Rodin a bit, so that we are as agile as possible during the lecture: you will have to use the tool together with me.
One final thing: I have a meeting from 3pm to 4pm this Wednesday. It may be the case that it takes some more time. In that case, I ask you to please wait for some minutes until I can join the Zoom room.
Best,