2 search results for "tag:"keyword:rust""

Showing 1 - 2
  1. 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
  2. rocq-rust-extraction

    No documentation

    Rocq extraction to Rust
    keyword:rust keyword:extraction logpath:TypedExtraction
    The COBRA team
    0.2.0
    MIT
    Used by 2 other packages
    26 Feb 2026