Alle Optionen
jessie  ] [  stretch  ] [  sid  ]
[ Quellcode: aac-tactics  ]

Paket: libaac-tactics-coq (0.4-3)

Links für libaac-tactics-coq

Screenshot

Debian-Ressourcen:

Quellcode-Paket aac-tactics herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu libaac-tactics-coq

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libaac-tactics-coq herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 208,8 kB1.413,0 kB [Liste der Dateien]