4 search results for "tag:"logpath:stdpp""

Showing 1 - 4
  1. coq-stdpp

    No documentation

    An extended "Standard Library" for Coq
    date:2025-06-04 logpath:stdpp
    The std++ team
    1.12.0
    BSD-3-Clause
    Used by 4 other packages
    12 Jun 2025
  2. coq-stdpp-bitvector

    No documentation

    A library for bitvectors based on std++
    date:2025-06-04 logpath:stdpp.bitvector
    The std++ team
    1.12.0
    BSD-3-Clause
    Used by 1 other packages
    12 Jun 2025
  3. rocq-stdpp

    No documentation

    An extended "Standard Library" for Rocq
    date:2026-03-05 logpath:stdpp
    The std++ team
    1.13.0
    BSD-3-Clause
    Used by 2 other packages
    06 Mar 2026
  4. rocq-stdpp-bitvector

    No documentation

    A library for bitvectors based on std++
    date:2026-03-05 logpath:stdpp.bitvector
    The std++ team
    1.13.0
    BSD-3-Clause
    Used by 0 other packages
    06 Mar 2026