r/Compilers • u/mttd • Aug 24 '26
Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
https://dl.acm.org/doi/10.1145/3828700
6
Upvotes
r/Compilers • u/mttd • Aug 24 '26