Lean models of various Rust libraries to facilitate Lean-based verification of Rust programs.
See CONTRIBUTING for more information.
This project is licensed under the Apache-2.0 License.
Lean models of various Rust libraries to facilitate Lean-based verification of Rust programs.
See CONTRIBUTING for more information.
This project is licensed under the Apache-2.0 License.