Coq

Translation overview

Launchpad does not know where Coq translates its messages.