Browsing Italian translation

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