Browsing Italian translation

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