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

1 pointsposted 10 hours ago
by matt_d
(youtube.com)

No comments yet