9 search results for "tag:"keyword:algebra""

Showing 1 - 9
  1. coq-corn

    No documentation

    8.20.0
    GPL-2.0
    Used by 0 other packages
    01 Feb 2025
  2. coq-functional-algebra

    No documentation

    1.0.2
    LGPL-3.0
    Used by 0 other packages
    24 Aug 2018
  3. coq-graph-theory

    No documentation

    0.9.6
    CECILL-B
    Used by 1 other packages
    10 May 2025
  4. coq-hol-light

    No documentation

    3.0.0
    CeCILL-2.1
    Used by 0 other packages
    21 Jan 2025
  5. coq-mathcomp-abel

    No documentation

    1.2.1
    CECILL-B
    Used by 0 other packages
    24 Oct 2022
  6. 1.6.1
    CeCILL-B
    Used by 1 other packages
    26 Jun 2019
  7. rocq-mathcomp-algebra

    No documentation

    2.4.0
    CECILL-B
    Used by 2 other packages
    15 Apr 2025
  8. rocq-mathcomp-character

    No documentation

    2.4.0
    CECILL-B
    Used by 1 other packages
    15 Apr 2025
  9. rocq-mathcomp-field

    No documentation

    2.4.0
    CECILL-B
    Used by 2 other packages
    15 Apr 2025