5 commits

Author	SHA1	Message	Date
Yorick Barbanneau	873a41f73a	Some corrections.	2023-09-01 22:18:00 +02:00
Yorick Barbanneauwq	558170c062	Add second part of verification	2023-03-15 23:01:53 +01:00
Yorick Barbanneau	167a2d3d75	some corrections	2023-02-07 23:55:38 +01:00
Yorick Barbanneau	c5532db5b6	Add section in verification course	2023-02-07 23:50:16 +01:00
Yorick Barbanneau	e4563cd879	Add first part of verification lecture	2023-02-01 00:48:48 +01:00