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

1 points | by matt_d 42 minutes ago

No comments yet