package coq-extructures

  1. Overview
  2. No Docs
Finite sets, maps, and other data structures with extensional reasoning

Install

Dune Dependency

github.com Edit opam file Versions (8)

Authors

  1. A
    Arthur Azevedo de Amorim

Maintainers

  1. A
    arthur.aa@gmail.com

Sources

v0.2.2.tar.gz
sha512=0100f6de2cd5c6e943466a0ad34c5a79dba4704396e594cd6e9f8cead412973ff4fe0c9fc998594cf89ad0904fd8676483b0279cfbe93f36088c19a702d16e73

Description

Tags

keyword:finite maps keyword:extensionality category:Computer Science/Data Types and Data Structures logpath:extructures

Published: 14 Aug 2020

Dependencies (3)

  1. coq-mathcomp-ssreflect >= "1.10" & < "1.13~"
  2. coq >= "8.10" & < "8.14~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None