Package: wnpp Severity: wishlist Owner: "Stéphane Glondu" <[email protected]>
* 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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
