Loreon
Labs
Platform
Docs
Home
Ecosystems
Rust
verify-rust-std
Verifying the Rust standard library
Rust
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
19mo ago
Recent commits
Latest commits.
Add kani script instructions to book (#135)
bd56a76
Jaisurya Nanduri
20mo ago
Atomic Types Challenge (#82)
977cf8b
Carolyn Zech
20mo ago
Invariant trait (#87)
abe2354
Carolyn Zech
20mo ago
Verify safety of `to_lower` and `to_upper` (#115)
800a8e7
Celina G. Val
20mo ago
Add `loop_invariant` predicate (#137)
b818553
Qinheping Hu
20mo ago
Harnesses for carrying_mul (#114)
c4a1f45
Lanfei Ma
20mo ago
Add script to automate build & running kani (#78)
61f68cf
Jaisurya Nanduri
20mo ago
Add safety dependency to alloc and std crates (#121)
38d490c
Michael Tautschnig
20mo ago
Top contributors
Builders behind this project.
jaisnan
26 commits
celinval
19 commits
tautschnig
7 commits
feliperodri
3 commits
qinheping
3 commits
Yenyun035
3 commits
zhassan-aws
3 commits
QinyuanWu
2 commits
