Browsing Chinese (Simplified) translation

3410 of 6082 results
3410.
Interactive theorem prover
交互式定理证明程序
Translated by jiaowen520li
Located in ../menu-data/matita:matita.desktop.in.h:2
3410 of 6082 results

This translation is managed by Ubuntu Simplified Chinese Translators, assigned by Ubuntu Translators.

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