3 search results for "author:"Enrico Tassi <>""

Showing 1 - 3
  1. coq-mathcomp-field-extra

    No documentation

    Extra Mathematical Components Library on Fields
    keyword:algebra keyword:field keyword:small scale reflection keyword:mathematical components keyword:odd order theorem
    Jeremy Avigad <> Andrea Asperti <> Stephane Le Roux <> Yves Bertot <> Laurence Rideau <> et al.
    1.6.1
    CeCILL-B
    Used by 1 other packages
    26 Jun 2019
  2. 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.2.0
    CeCILL-B
    Used by 0 other packages
    10 May 2025
  3. coq-ssreflect

    No documentation

    The Small Scale Reflection extension
    Jeremy Avigad <> Andrea Asperti <> Stephane Le Roux <> Yves Bertot <> Laurence Rideau <> et al.
    1.5.0
    CeCILL-B
    Used by 3 other packages
    13 May 2019