No results found

rust-lean-models

Lean models of Rust libraries
Displaying 1-1 of 1 versions of rust-lean-models
Sort by
  1. Not a part of any version track.
    ce44f02
    8 months ago
    Released on September 4, 2024 at 1:57:07AM
    Commit ce44f02 builds on its old leanprover/lean4:v4.11.0
    v4.11.0
    383.4 KB Build archive size: 383386 bytes.