Home > 2012 > September

Monthly Archives: September, 2012

A A

20 September 2012 - Mathematical Components Feit thomson proved in coq: Feit-Thompson theorem has been totally checked in Coq Thursday 20 September 2012, 18:16. We received following mail from Georges Gonthier (see below).It concludes the proof in Coq of the Feit-Thompson theorem. This theorem, also named the Odd Order Theorem, is the first main result in the classification of finite groups.This work was achieved by the.. ... More
20 September 2012 - Mathematical Components The formalization of the Odd Order theorem has been completed September 20th 2012: “This is really the End”. After a six year effort, members of the Mathematical Components team have completed an axiom-free formalization of the proof of the Odd Order theorem (due to Walter Feit and John Griggs Thompson), using the Coq proof assistant. Read the announcement on the Microsoft Research website. Read the announcement on the Inria Microsoft Research Joint Centre website... ... More
5 September 2012 - Mathematical Components Ssreflect 1.4 has been released: The ssreflect developers are pleased to announce the new release of ssreflect 1.4 for Coq 8.4 and Coq 8.3pl4. More on Mathematical Components web page ... More

Page 1 of 11