Our team "VerCors team Yellow" got the second place prize at this year's VerifyThis competition! Congratulations Robert Rubbens and Phillip Tasche for your achievement.