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

(youtube.com)

1 points | by matt_d 11 hours ago

No comments yet.