Tools:CoLoR

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


CoLoR (Coq Library on Rewriting and termination)

Personal tools