Browsing English (Canada) translation

38 of 178 results
38.
CoqIDE Proof Assistant
(no translation yet)
Located in docs/development/C/development.xml:244(title)
38 of 178 results

This translation is managed by translation group launchpad-translators.

You are not logged in. Please log in to work on translations.