News for hackers. Stuff that matters.

A comment on Formally Verifying Rust's Opaque Types. Parent comment

Re:Formally Verifying Rust's Opaque Types by irsagent on Monday August 01, 2022 @11:54AM (#32307864)
Could TLA+ do the same thing?
[ Parent | on HN ]

There are no comments on this comment yet.