Feit-Thompson theorem formally certified using the Coq proof assistant (msr-inria.inria.fr) 4 points by mepcotterell 13y ago ↗ HN
0 comments
[ 3.2 ms ] story [ 14.0 ms ] threadNo comments yet.