Machine-Generated, Machine-Checked Proofs for a Verified Compiler (ICFP'26) [video]youtube.com1 point·matt_d··0 commentsOpen articleSaveView on HN