Ubuntu
app-install-data-ubuntu package

Browsing Korean translation

  1. Vivid (15.04)
  2. Template “app-install-data”
  3. Korean (ko)
  4. Browsing Korean translation
823 of 5904 results First • • • Last
823.
Graphical interface for the Coq proof assistant
Coq 증명 보조기의 그래픽 인터페이스 버전입니다
Translated and reviewed by B. W. Knight
Located in ../menu-data/coqide:coqide.desktop.in.h:2
823 of 5904 results First • • • Last

This translation is managed by Ubuntu Korean Translators, assigned by Ubuntu Translators.

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