Browsing Italian translation

734 of 5698 results
734.
Graphical interface for the Coq proof assistant
Interfaccia grafica per «Coq proof assistant»
Translated and reviewed by Paolo Sammicheli
Located in ../menu-data/coqide:coqide.desktop.in.h:2
734 of 5698 results

This translation is managed by Traduttori Italiani del software di Ubuntu, assigned by Ubuntu Translators.

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