IMO 2009 and proof systems Annoying Precision, 17 Jul 2009 The problems from IMO 2009 are now available. I haven’t had much time to work on them, though. There are two classical…