3 commits

Author	SHA1	Message	Date
w1ntermute	a2bd0662df	Finished software verification ... Signed-off-by: w1ntermute <gitlab@mail.smarquardt.space>	2024-04-01 19:38:07 +02:00
w1ntermute	6c39b0466f	new workshops ... Signed-off-by: w1ntermute <gitlab@mail.smarquardt.space>	2024-03-10 22:37:59 +01:00
w1ntermute	47bb177588	how to software verification ... Signed-off-by: w1ntermute <gitlab@mail.smarquardt.space>	2024-03-10 19:41:09 +01:00