Events

23 February 2007

Informal presentation of ssreflect,
February 23rd 2007, at 2:00pm

ssreflect is the langage of tactics that Georges Gonthier has developed while he was proving the 4-colours theorem. Presentation will with help of Roland Zumkeller and Russell O’connor. Anyone interested is welcomed.