Paket: libcoq-mathcomp-analysis (0.3.13-1)

Länkar för libcoq-mathcomp-analysis

Trisquelresurser:

• Install using apturl
• Entry at directory.fsf.org
• Felrapporter
• Changelog
• Upphovsrättsfil

Hämta källkodspaketet 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]

Ansvarig:

• Debian OCaml Maintainers (E-postarkiv)

Original Maintainers:

• Debian OCaml Maintainers (E-postarkiv)
• Julien Puydt

Externa resurser:

• Hemsida [github.com]

Liknande paket:

• 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

Andra paket besläktade med 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)

Hämta libcoq-mathcomp-analysis