4 Commits

Author	SHA1	Message	Date
Arianna Masciolini	cb72c1da1b	after lecture 5 (will finish AgreementSwe on Wednesday)	2025-04-14 12:03:38 +02:00
Arianna Masciolini	75871004b6	final initial state for lecture 5	2025-04-13 21:49:19 +02:00
Arianna Masciolini	c76f53ac81	improve initial state	2025-04-13 19:13:57 +02:00
Arianna Masciolini	df36af3ed8	initial state for lecture 05	2025-04-13 18:34:38 +02:00