GitHub repository: model-checking/rust-lean-models
Primary language: Lean
Description: Lean models of Rust libraries