Feit-Thompson theorem formally certified using the Coq proof assistant(msr-inria.inria.fr)
msr-inria.inria.fr
Feit-Thompson theorem formally certified using the Coq proof assistant
http://www.msr-inria.inria.fr/events-news/feit-thompson-proved-in-coq
0 comments
—