▲ 4 pointsMachine Generated and Checked Proofs for a Verified Compiler (Experience Report)arxiv.orgby matt_d·4mo ago·0 comments·view on hn ↗