Examples from Aveiro workshops

Here are the two examples we worked through at the workshops in Aveiro University in October 2024. Thanks to Luís and Paula for organising, and to everyone who came along!