[ bianca ]

[ Kaynak: coquelicot ]

Paket: libcoq-coquelicot (3.4.3-1 ve diğerleri)

libcoq-coquelicot için bağlantılar

eLxr Yama Takipçisi

coquelicot Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [coquelicot.saclay.inria.fr]

Benzer paketler:

Coq library for real analysis

This package provides a formalization of real analysis compatible with the Coq standard library.

Coq is a proof assistant for higher-order logic.

libcoq-coquelicot ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libcoq-mathcomp-ssreflect-08jv4 [amd64]

sanal paketi sağlayan libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-ga8c0 [arm64]

sanal paketi sağlayan libcoq-mathcomp-ssreflect

libcoq-coquelicot indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	3.4.3-1+b3	3.283,8 kB	13.087,0 kB	[dosya listesi]
arm64	3.4.3-1+b3	3.283,9 kB	13.087,0 kB	[dosya listesi]