3 commits

Author	SHA1	Message	Date
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