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

Paket: libcoq-aac-tactics (8.18.0-1)

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 Paket Boyutu Kurulu Boyut Dosyalar
amd64 375,0 kB2.928,0 kB [dosya listesi]
arm64 382,8 kB3.048,0 kB [dosya listesi]
armhf 373,0 kB2.712,0 kB [dosya listesi]
i386 366,8 kB2.808,0 kB [dosya listesi]
ppc64el 377,0 kB3.048,0 kB [dosya listesi]
s390x 376,0 kB3.000,0 kB [dosya listesi]