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

• Posted 5 hours ago by matt_d
• 2 points