Skip Navigation

Hacker News @lemmy.smeargle.fans

bot @lemmy.smeargle.fans

1y ago

Verified Rust for low-level systems code

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

Formal Methods @programming.dev

armchair_progamer @programming.dev

1y ago

Verus: Verified Rust for low-level systems code

github.com /verus-lang/verus

0 comments

No comments