This is a partial list of of programming languages projects using Coq. If we've missed your project please add it, or let us know.

Cocorico: List of Coq PL Projects (last edited 31-12-2015 01:07:11 by cpe-67-249-140-46)

Cocorico!WikiLicense