https://github.com/model-checking/rust-lean-models
Lean models of Rust libraries
https://github.com/model-checking/rust-lean-models
Last synced: 11 days ago
JSON representation
Lean models of Rust libraries
- Host: GitHub
- URL: https://github.com/model-checking/rust-lean-models
- Owner: model-checking
- License: apache-2.0
- Created: 2024-07-19T18:25:05.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-09-04T01:57:08.000Z (over 1 year ago)
- Last Synced: 2025-07-09T07:56:21.411Z (9 months ago)
- Language: Lean
- Homepage:
- Size: 43.9 KB
- Stars: 17
- Watchers: 8
- Forks: 7
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE-APACHE
- Code of conduct: CODE_OF_CONDUCT.md
- Codeowners: .github/CODEOWNERS