The tag has no wiki summary.

learn more… | top users | synonyms

22
votes
0answers
386 views

Next steps on formal proof of classification of finite simple groups

While people are steaming ahead on finessing the proof of the classification of finite simple groups (CFSG), we have a formal proof in Coq of one of the first major components: the Feit-Thompson ...