Пакет: libcoq-mathcomp-analysis (0.3.13-1)

Връзки за libcoq-mathcomp-analysis

Ресурси за Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Доклади за грешки
• Changelog
• Авторски права

Изтегляне на пакет-източник mathcomp-analysis.

• [mathcomp-analysis_0.3.13-1.dsc]
• [mathcomp-analysis_0.3.13.orig.tar.gz]
• [mathcomp-analysis_0.3.13-1.debian.tar.xz]

Отговорник:

• Debian OCaml Maintainers (Пощенски архив)

Original Maintainers:

• Debian OCaml Maintainers (Пощенски архив)
• Julien Puydt

Външни препратки:

• Начална страница [github.com]

Подобни пакети:

• libcoq-mathcomp-finmap
• libssreflect-coq
• libcoq-mathcomp
• libcoq-mathcomp-field
• libcoq-mathcomp-character
• libcoq-mathcomp-fingroup
• libcoq-mathcomp-solvable
• libcoq-mathcomp-algebra
• libcoq-mathcomp-ssreflect
• libcoq-stdlib
• coq-theories

Други пакети, свързани с libcoq-mathcomp-analysis

• dep: coq

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libcoq-mathcomp-ssreflect

  Mathematical Components library for Coq (small scale reflection)

Изтегляне на libcoq-mathcomp-analysis