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

libcoq-mathcomp-analysis için bağlantılar

Trisquel Kaynakları:

• Install using apturl
• Entry at directory.fsf.org
• Hata Raporları
• Changelog
• Telif Hakkı Dosyası

mathcomp-analysis Kaynak Paketini İndir:

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

Geliştirici:

• Debian OCaml Maintainers (Posta Arşivi)

Original Maintainers:

• Debian OCaml Maintainers (Posta Arşivi)
• Julien Puydt

Dış Kaynaklar:

• Ana Sayfa [github.com]

Benzer paketler:

• 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 ile İlgili Diğer Paketler

• 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 indir