Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Untangling Mechanized Proofs
(plv.csail.mit.edu)
55 points
matt_d
6 years ago
13 comments
2.
▲
A brief introduction to Iris: a powerful framework for concurrency reasoning
(plv.csail.mit.edu)
3 points
matt_d
6 years ago
discuss