Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" <st...@glondu.net>
* Package name : aac-tactics Version : 0.1 Upstream Author : Thomas Braibant, Damien Pous * URL : http://sardes.inrialpes.fr/~braibant/aac_tactics/ * License : LGPL-3+ Programming Lang: OCaml, Coq Description : Coq tactics for reasoning modulo AC This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20101130152432.10297.63734.report...@aspirine.inria.fr
