/rust-lean-models

Lean models of Rust libraries

Primary LanguageLeanApache License 2.0Apache-2.0

rust-lean-models

Lean models of various Rust libraries to facilitate Lean-based verification of Rust programs.

Security

See CONTRIBUTING for more information.

License

This project is licensed under the Apache-2.0 License.