Archive for October 13th, 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 74 other followers