Article
62192
Formally Verifying Rust's Opaque Types
Register
Login
Formally Verifying Rust's Opaque Types
by
from
Hacker News
on
2022-08-01 11:42
(
#62192
)
Comments
External Content
Source
RSS or Atom Feed
Feed Location
https://news.ycombinator.com/rss
Feed Title
Hacker News
Feed Link
https://news.ycombinator.com/
Reply
0 comments