An Isabelle/HOL Formalization of Rewriting
for Certified Tool Assertions
Overview
Developers
Input Format
Related Work
Versions
Experiments
TermFun
Main Developers
Christian Sternagel
René Thiemann
Contributors
Guillaume Allais
Bertram Felgenhauer
Sebastiaan Joosten
Ismael Kira
Christina Kohl
Alexander Krauss
Sebastian Mayr
Julian Nagele
Teppei Saito
Thomas Sternagel
Elias Wenninger
Sarah Winkler
Akihisa Yamada
Harald Zankl