bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 11 months ago

Verified Rust for low-level systems code

0

cross-posted to:
[email protected]

2

Verified Rust for low-level systems code

bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 11 months ago

0

cross-posted to:
[email protected]

GitHub - verus-lang/verus: Verified Rust for low-level systems code

Verified Rust for low-level systems code. Contribute to verus-lang/verus development by creating an account on GitHub.

You must log in or register to comment.

Chat