tüm seçenekler
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Kaynak: coq-extructures  ]

Paket: libcoq-extructures (0.5.0-1 ve diğerleri)

libcoq-extructures için bağlantılar

Screenshot

Debian Kaynakları:

coq-extructures Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

data structures with extensional reasoning for Coq

This Coq plugin provides finite sets, maps and other data structures with extensional reasoning.

Coq is a proof assistant for higher-order logic.

libcoq-extructures ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

libcoq-extructures indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
amd64 0.5.0-1+b8 720,2 kB2.687,0 kB [dosya listesi]
arm64 0.5.0-1+b8 720,4 kB2.687,0 kB [dosya listesi]
ppc64el 0.5.0-1+b8 720,2 kB2.687,0 kB [dosya listesi]
riscv64 0.5.0-1+b8 720,3 kB2.687,0 kB [dosya listesi]
s390x 0.5.0-1+b8 720,3 kB2.687,0 kB [dosya listesi]