package coq-ltac-iter

  1. Overview
  2. No Docs
Access hint databases from tactics

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. G
    Gregory Malecha

Maintainers

  1. G
    gmalecha@gmail.com

Sources

v1.1.2.tar.gz
sha512=6cf303e7b528db97cc93f538583fc21a795d794ea7fe12d19a8fe0002d4e387e60596d5cbb8ff51043262edb91ad20da4b504e91c9f2cd140185716985a4008f

Description

Provides tactics for performing various forms of iteration over hypotheses, hint databases, and other collections.

Published: 03 Jun 2020

Dependencies (2)

  1. coq >= "8.11" & < "8.12~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None