File: description

package info (click to toggle)
aac-tactics 8.6.1-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 396 kB
  • sloc: ml: 2,604; makefile: 34
file content (15 lines) | stat: -rw-r--r-- 636 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Name: AACTactics
Title: AAC tactics
Description: This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators: 
Keywords: reflexive tactic, rewriting, rewriting modulo associativity and commutativity, rewriting modulo AC, reflexive decision procedure
Category: Miscellaneous/Coq Extensions
Author: Thomas Braibant
Email: thomas.braibant@gmail.com
Homepage: http://sardes.inrialpes.fr/~braibant/
Institution: INRIA/UJF/Ens Lyon
Author: Damien Pous
Email: damien.pous@inria.fr
Homepage: http://sardes.inrialpes.fr/~pous/
Institution: CNRS
Require:
License: LGPL