Browsing Italian translation

856 of 6082 results
856.
CoqIDE Proof Assistant
Proof-assistant CoqIDE
Translated and reviewed by Paolo Sammicheli
Located in ../menu-data/coqide:coqide.desktop.in.h:1
856 of 6082 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.