Browsing Chinese (Traditional) translation

3017 of 5338 results
3017.
Interactive theorem prover
互動式定理證明器
Translated by xatierlike
Reviewed by Rockworld
Located in ../menu-data/matita:matita.desktop.in.h:2
3017 of 5338 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.