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.3.1.tar.gz
sha512=18252e3fbc492ab7746f09dc262aefcbb845b0a090dd47fca34ce50ec0c4309d3a93930dc343bcf23a014ff3916aaea1186393f80cf7efb0ddb2ed2150cb5292

Description

Tags

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

Published: 29 Oct 2021

Dependencies (4)

  1. coq-deriving (>= "0.1" & < "0.2~")
  2. coq-mathcomp-ssreflect (>= "1.12" & < "1.20~")
  3. coq (>= "8.11" & < "8.21~")
  4. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None