2 ms·Correctly Compiling Proofs About Programs Without Proving Compilers Correct [pdf]4 points by matt_d 2y ago