[ Kaynak: why3 ]
Paket: why3-coq (1.3.3-1 ve diğerleri)
why3-coq için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
why3 Kaynak Paketini İndir:
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [why3.lri.fr]
Benzer paketler:
Coq support for the why3 verification platform
This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform.
why3-coq ile İlgili Diğer Paketler
|
|
|
|
-
- dep: coq-8.12.0+4.11.1
- sanal paketi sağlayan coq
-
- dep: tex-common (>= 6.13)
- common infrastructure for building and installing TeX
-
- rec: why3
- Software verification platform
why3-coq indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| amd64 | 1.3.3-1+b4 | 739,4 kB | 3.830,0 kB | [dosya listesi] |
| arm64 | 1.3.3-1+b4 | 739,6 kB | 3.830,0 kB | [dosya listesi] |
| armel | 1.3.3-1+b4 | 739,0 kB | 3.827,0 kB | [dosya listesi] |
| armhf | 1.3.3-1+b4 | 739,1 kB | 3.827,0 kB | [dosya listesi] |
| i386 | 1.3.3-1+b4 | 739,2 kB | 3.827,0 kB | [dosya listesi] |
| mipsel | 1.3.3-1+b4 | 739,1 kB | 3.827,0 kB | [dosya listesi] |
| ppc64el | 1.3.3-1+b4 | 739,3 kB | 3.830,0 kB | [dosya listesi] |