An Isabelle/HOL Formalization of Rewriting 
for Certified Termination Analysis 

Main Developers

Contributors