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

 (youtube.com)

1 points | by matt_d 10 hours ago ago

No comments yet.