Libraries > CoLoR

Library on rewriting theory, lambda-calculus and termination, with sub-libraries on common data structures extending the Coq standard library.