tüm seçenekler
bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: aac-tactics  ]

Paket: libcoq-aac-tactics (8.17.0-1 ve diğerleri)

libcoq-aac-tactics için bağlantılar

Screenshot

Debian Kaynakları:

aac-tactics Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

Coq tactics for reasoning modulo AC (theories)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

This package provides the Coq support library.

libcoq-aac-tactics ile İlgili Diğer Paketler

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

libcoq-aac-tactics indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
amd64 8.17.0-1+b2 380,8 kB3.014,0 kB [dosya listesi]
arm64 8.17.0-1+b2 388,5 kB3.134,0 kB [dosya listesi]
armhf 8.17.0-1+b2 379,5 kB2.801,0 kB [dosya listesi]
i386 8.17.0-1+b2 372,7 kB2.895,0 kB [dosya listesi]
ppc64el 8.17.0-1+b2 383,8 kB3.134,0 kB [dosya listesi]
s390x 8.17.0-1+b2 382,2 kB3.094,0 kB [dosya listesi]