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