Skip to content

Explore Compare Saved

DevHubBuilt for curious developers. Data from GitHub.

Back to repositories

Public repository / model-checking

rust-lean-models

Lean models of Rust libraries

38Stars

9Forks

0Open issues

7Subscribers

Language distribution

Share of source bytes reported by GitHub

Lean100%

Recent activity

Latest commits on the default branch

Upgrade Lean to v4.11.0 (#11)zhassan-aws · Sep 4, 2024 Add Lean action in CI (#10)zhassan-aws · Aug 27, 2024 Remove mathlib dependency (#9)zhassan-aws · Aug 13, 2024 Edits to the README and other markdown files. (#7)BrunoDutertre · Aug 2, 2024 Upgrade Lean to v4.10.0 (#5)zhassan-aws · Aug 1, 2024 Update CODEOWNERS file (#6)zhassan-aws · Aug 1, 2024 Include a couple of definitions in the README.md (#4)zhassan-aws · Jul 29, 2024 Adding some lemmas for Str_toUTF8 in UTF8Str, cleaning up some proofs in RustString (#3)ntson-aws · Jul 25, 2024 add README.md, RustString library, Iterator, general functions (#1)ntson-aws · Jul 25, 2024 Add MIT license, CODEOWNERS file, and PR template (#2)zhassan-aws · Jul 22, 2024

Project details

Created Jul 2024 Updated Sep 2024 Apache License 2.0

Contributors

5

zhassan-aws8 commits

ntson-aws2 commits

amazon-auto1 commits

BrunoDutertre1 commits

thanhnguyen-aws1 commits