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

1.1.0.tar.gz
md5=588a048281d2e05c33abe76bfeb95422

Description

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

Published: 20 Apr 2019

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None