Feit-Thompson theorem formally certified using the Coq proof assistant Posted by mepcotterell on Monday September 24, 2012 @08:23AM from the msr-inria.inria.fr dept. http://www.msr-inria.inria.fr/events-news/feit-thompson-proved-in-coq ( no comments | 4 points | on HN )
There are no comments yet.