Package Descriptions for Ubuntu

Browsing Russian translation

  1. Series hirsute
  2. Template “ddtp-ubuntu-multiverse”
  3. Russian (ru)
  4. Browsing Russian translation
207 of 2204 results First • • • Last
207.
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
 
Description
Coq - это вспомогательный инструмент для доказательств в высокоуровневой логике, который делает разработку компьютерных программ совметимой с их формальным описанием. Он разработан с использованием Objective Caml и Camlp5.
Translated and reviewed by Dmitry Tumaikin
Located in Package: coq-doc-pdf Package: coq-doc-html Package: coq-doc
207 of 2204 results First • • • Last

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

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