GitHub - aehyvari/smt-workshop-2022-slides: Slides for smt workshop 2022

Name	Name	Last commit message	Last commit date
Latest commit aehyvari Add ending notes Aug 15, 2022 a604b63 · Aug 15, 2022 History 4 Commits
end-slides.pptx	end-slides.pptx	Add ending notes	Aug 15, 2022
start-slides.pptx	start-slides.pptx	start slides: Added a note about sponsors	Aug 10, 2022