[ Kaynak: coq-interval ]
Paket: libcoq-interval (4.10.0-1)
libcoq-interval için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
coq-interval Kaynak Paketini İndir:
- [coq-interval_4.10.0-1.dsc]
- [coq-interval_4.10.0.orig.tar.bz2]
- [coq-interval_4.10.0-1.debian.tar.xz]
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [coqinterval.gitlabpages.inria.fr]
Benzer paketler:
interval arithmetic for Coq
This package provides tactics to simplify the proof of inequalities on expressions of real numbers.
Coq is a proof assistant for higher-order logic.
libcoq-interval ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libcoq-bignums-3r247
- sanal paketi sağlayan libcoq-bignums
-
- dep: libcoq-coquelicot-sxbo9
- sanal paketi sağlayan libcoq-coquelicot
-
- dep: libcoq-flocq-6l3w2
- sanal paketi sağlayan libcoq-flocq
-
- dep: libcoq-mathcomp-ssreflect-ck786
- sanal paketi sağlayan libcoq-mathcomp-ssreflect
-
- dep: libcoq-stdlib-93wq5
- sanal paketi sağlayan libcoq-stdlib
libcoq-interval indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| ppc64el | 6.438,3 kB | 20.582,0 kB | [dosya listesi] |