Browsing Occitan (post 1500) translation

857 of 6082 results
857.
Graphical interface for the Coq proof assistant
Interfàcia grafica pel corrector Coq
Translated and reviewed by Cédric VALMARY (Tot en òc)
Located in ../menu-data/coqide:coqide.desktop.in.h:2
857 of 6082 results

This translation is managed by Ubuntu Occitan Translators, assigned by Ubuntu Translators.

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