Kha/masters-thesis
2 best points · 0 comments · 1 Hacker News post · 7 GitHub stars · View on GitHub
Hacker News discussions
- Simple Verification of Rust Programs via Functional Purification (2016) [pdf] (2 points, 0 comments, by todsacerdoti, 2023-07-19)