package coq-ltac-iter

  1. Overview
  2. No Docs
Coq plugin to iterate various collections

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. G
    Gregory Malecha

Maintainers

  1. G
    gmalecha@gmail.com

Sources

v1.0.0-8.5.tar.gz
md5=a96517bac1530b91f418fc0cc87cbf8f

Description

Published: 13 May 2019

Dependencies (3)

  1. coq >= "8.5" & < "8.6"
  2. coq-plugin-utils >= "1.1.0"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None