Browsing Brazilian Portuguese translation

3410 of 6082 results
3410.
Interactive theorem prover
Provador de teorema interativo
Translated by Phillipe Gamboa
Reviewed by Neliton Pereira Jr.
Located in ../menu-data/matita:matita.desktop.in.h:2
3410 of 6082 results

This translation is managed by Ubuntu Brazilian Portuguese Translators, assigned by Ubuntu Translators.

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