ticki personal blog
A Hoare Logic for Rust
The original page did not respond normally when we last checked (HTTP 404). The archived copy may help.
- Points
- 193
- HN comments
- 43
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringProgramming Languages2016
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Sep 30, 2016 | A Hoare Logic for Rust by steveklabnik | 193 | 43 |
