3 ms·Machine-Generated and Checked Proofs for a Verified Compiler (Experience Report)2 points by matt_d 2mo ago