9 search results for "author:"The COBRA team""

Showing 1 - 9
  1. coq-elm-extraction

    No documentation

    Coq extraction to Elm
    keyword:elm keyword:extraction logpath:ElmExtraction
    The COBRA team
    0.1.1
    MIT
    Used by 0 other packages
    23 May 2025
  2. coq-rust-extraction

    No documentation

    Coq extraction to Rust
    keyword:rust keyword:extraction logpath:RustExtraction
    The COBRA team
    0.1.1
    MIT
    Used by 0 other packages
    23 May 2025
  3. rocq-concert

    No documentation

    A framework for smart contract verification in Rocq
    The COBRA team
    1.0.1
    MIT
    Used by 1 other packages
    18 Mar 2026
  4. rocq-concert-examples

    No documentation

    A framework for smart contract verification in Rocq
    The COBRA team
    1.0.1
    MIT
    Used by 0 other packages
    18 Mar 2026
  5. rocq-elm-extraction

    No documentation

    Rocq extraction to Elm
    keyword:elm keyword:extraction logpath:TypedExtraction
    The COBRA team
    0.2.1
    MIT
    Used by 3 other packages
    13 Mar 2026
  6. rocq-rust-extraction

    No documentation

    Rocq extraction to Rust
    keyword:rust keyword:extraction logpath:TypedExtraction
    The COBRA team
    0.2.1
    MIT
    Used by 3 other packages
    13 Mar 2026
  7. rocq-typed-extraction

    No documentation

    Rocq extraction to Rust and Elm
    keyword:extraction logpath:TypedExtraction
    The COBRA team
    0.2.1
    MIT
    Used by 0 other packages
    13 Mar 2026
  8. rocq-typed-extraction-common

    No documentation

    Rocq extraction to Rust and Elm
    keyword:extraction logpath:TypedExtraction
    The COBRA team
    0.2.1
    MIT
    Used by 2 other packages
    13 Mar 2026
  9. rocq-typed-extraction-plugin

    No documentation

    Rocq extraction to Rust and Elm
    keyword:extraction logpath:TypedExtraction
    The COBRA team
    0.2.1
    MIT
    Used by 1 other packages
    13 Mar 2026