Machine-Generated, Machine-Checked Proofs for a Verified Compiler (ICFP'26) [video](youtube.com)1 points by matt_d 2 days ago | 0 commentsNo comments yet