Machine-Generated, Machine-Checked Proofs for a Verified Compiler (ICFP'26) [video]

1 points | by matt_d 10 hours ago