Welcome to the coqfinitgroup home page,

The formal proof of the Feit-Thompson theorem has been completed on September 20, 2012.

You can download the archive of the proof

You can browse