Browsing Chinese (Traditional) translation

3410 of 6082 results
3410.
Interactive theorem prover
互動式定理證明器
Translated by xatierlike
Reviewed by Rockworld
Located in ../menu-data/matita:matita.desktop.in.h:2
3410 of 6082 results

This translation is managed by Ubuntu Traditional Chinese (Taiwan) Translators, assigned by Ubuntu Translators.

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