Skip to content
Sections
>> Trisquel >> Paketler >> aramo >> math >> libaac-tactics-coq
etiona  ] [  nabia  ] [  aramo  ]
[ Kaynak: aac-tactics  ]

Paket: libaac-tactics-coq (8.15.0-1)

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.

libaac-tactics-coq ile İlgili Diğer Paketler

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

libaac-tactics-coq indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
all 282,3 kB1988 kB [dosya listesi]