Archive for October, 2012

Feit-Thompson theorem has been totally checked in Coq

Posted by: Alexandre Borovik on October 13, 2012

Follow

Get every new post delivered to your Inbox.

Join 75 other followers