Browsing Italian translation

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