3 search results for "author:"Peter Sewell""

Showing 1 - 3
  1. coq-ott

    No documentation

    0.34
    BSD-3-Clause
    Used by 1 other packages
    30 Dec 2024
  2. coq-sail

    No documentation

    0.19
    BSD-3-clause
    Used by 0 other packages
    14 Mar 2025
  3. coq-sail-stdpp

    No documentation

    Support library for Sail, a language for describing the instruction semantics of processors, using stdpp bitvectors
    0.19
    BSD-3-clause
    Used by 0 other packages
    14 Mar 2025