Tools:IsaFoR

From Termination-Portal.org
Jump to: navigation, search


IsaFoR (Isabelle Formalization of Rewriting)

Personal tools