3 search results for "tag:"keyword:finite groups""

Showing 1 - 3
  1. coq-mathcomp-odd-order

    No documentation

    The formal proof of the Feit-Thompson theorem
    keyword:finite groups keyword:Feit Thompson theorem keyword:small scale reflection keyword:mathematical components keyword:odd order theorem
    Jeremy Avigad <> Andrea Asperti <> Stephane Le Roux <> Yves Bertot <> Laurence Rideau <> et al.
    2.4.0
    CeCILL-B
    Used by 0 other packages
    24 Jul 2026
  2. rocq-mathcomp-finite-group

    No documentation

    Mathematical Components Library on finite groups
    keyword:small scale reflection keyword:mathematical components keyword:finite groups logpath:mathcomp.finite_group
    The Mathematical Components team
    2.6.0
    CECILL-B
    Used by 3 other packages
    24 Jul 2026
  3. rocq-mathcomp-solvable

    No documentation

    Mathematical Components Library on finite groups (II)
    keyword:small scale reflection keyword:mathematical components keyword:finite groups logpath:mathcomp.solvable
    The Mathematical Components team
    2.6.0
    CECILL-B
    Used by 5 other packages
    24 Jul 2026