Rust Contracts RFC Draft / minutes from formal verification meeting - discu.eu

Lobsters

Rust Contracts RFC Draft / minutes from formal verification meeting https://github.com/rust-lang/lang-team/blob/66a43b3ffb8ae3d2a4ba1e5a43864b1f92876409/design-meeting-minutes/2022-11-25-contracts.md 2 comments 4/1/2023 formalmethods , rust

Linking pages

Using TLA⁺ at Work - https://ahelwer.ca/post/2023-04-05-checkpoint-coordination/ 13 comments

Related searches:

Search whole site: site:github.com

Search title: Rust Contracts RFC Draft / minutes from formal verification meeting

See how to search.

Submit link to: