[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Kaynak: coq-libhyps ]

Paket: libcoq-libhyps (2.0.8-4 ve diğerleri)

libcoq-libhyps için bağlantılar

Debian Kaynakları:

coq-libhyps Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [github.com]

Benzer paketler:

Tactics on hypotheses in Coq

This package provides tactics and tacticals to work with hypotheses during a Coq proof.

Coq is a proof assistant for higher-order logic.

libcoq-libhyps ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libcoq-stdlib-1ns11 [arm64]

sanal paketi sağlayan libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

sanal paketi sağlayan libcoq-stdlib
dep: libcoq-stdlib-8jeh0 [s390x]

sanal paketi sağlayan libcoq-stdlib
dep: libcoq-stdlib-mz9g4 [loong64]

sanal paketi sağlayan libcoq-stdlib
dep: libcoq-stdlib-q0rh7 [ppc64el]

sanal paketi sağlayan libcoq-stdlib
dep: libcoq-stdlib-twvz5 [ppc64]

sanal paketi sağlayan libcoq-stdlib
dep: libcoq-stdlib-wthf1 [riscv64]

sanal paketi sağlayan libcoq-stdlib

libcoq-libhyps indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	2.0.8-4+b8	61,8 kB	273,0 kB	[dosya listesi]
arm64	2.0.8-4+b7	61,9 kB	273,0 kB	[dosya listesi]
loong64 (resmi olmayan port)	2.0.8-4	67,0 kB	329,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	2.0.8-4	67,0 kB	329,0 kB	[dosya listesi]
ppc64el	2.0.8-4+b8	61,9 kB	273,0 kB	[dosya listesi]
riscv64	2.0.8-4+b7	61,9 kB	273,0 kB	[dosya listesi]
s390x	2.0.8-4+b8	61,8 kB	273,0 kB	[dosya listesi]