Machine-Generated and Checked Proofs for a Verified Compiler (Experience Report)

2 pointsposted 11 hours ago
by matt_d
(dl.acm.org)

No comments yet