model-checking / verify-rust-std

Verifying the Rust standard library
https://model-checking.github.io/verify-rust-std/
Other
9 stars 7 forks source link

Add disclaimer, and fix links #5

Closed jaisnan closed 1 month ago

jaisnan commented 1 month ago

Issue #, if available:

Description of changes: Adds disclaimer that this project is not endorsed by Rust foundation and fixes license links.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.