[ Kaynak: coquelicot ]
Paket: libcoq-coquelicot (3.4.1-1 ve diğerleri)
libcoq-coquelicot için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian 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
|
|
|
|
-
- dep: libcoq-mathcomp-ssreflect-c6dp7
- sanal paketi sağlayan libcoq-mathcomp-ssreflect
libcoq-coquelicot indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| ppc64el | 3.4.1-1+b2 | 3.200,2 kB | 13.637,0 kB | [dosya listesi] |