An Isabelle/HOL Formalization of Rewriting 
for Certified Tool Assertions 

Main Developers

Contributors