This is the accompanying artifact to the ITP'24 publication:
Siddharth Bhat, Alex Keizer, Chris Hughes, Andrés Goens, Tobias Grosser (2024). Verifying Peephole Rewriting In SSA Compiler IRs. In Proceedings of the 15th International Conference on Interactive Theorem Proving, ITP 2024, September 9-14, 2024, Tbilisi, Georgia.