Monthly Archives: February, 2007

23 February 2007
Informal presentation of ssreflect
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 ...
13 February 2007
1st meeting of Management Committee in 2007