Browsing Occitan (post 1500) translation

823 of 5904 results
823.
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
823 of 5904 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.