package coq-aac-tactics

  1. Overview
  2. No Docs
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators

Install

Dune Dependency

github.com Edit opam file Versions (21)

Authors

  1. D
    Damien Pous <>
  2. T
    Thomas Braibant <>
  3. F
    Fabian Kunze <>

Maintainers

  1. P
    palmskog@gmail.com

Sources

v8.8.0.tar.gz
md5=75de4d507926423e754c55694e826084

Description

Tags

keyword:reflexive tactic keyword:rewriting keyword:rewriting modulo associativity and commutativity keyword:rewriting modulo ac keyword:decision procedure category:Miscellaneous/Coq Extensions date:2018-10-04 logpath:AAC_tactics

Published: 24 Oct 2018

Dependencies (2)

  1. coq >= "8.8" & < "8.9~"
  2. ocaml

Dev Dependencies

None

Conflicts

None