Logic and proof workshop

Logic and proof workshop

Photos: