CoLoR

github.comtool

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

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Libraries: “Library on rewriting theory, lambda-calculus and termination, with sub-libraries on common data structures extending the Coq standard library.”