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.0.tar.gz
sha512=1bbf711f53b86b37daef5fc08dc30f34d6e3334127b4cc2d887b89709e089c56dbd186c38aa1b925ed4802e3aad8cf29a5a66f12294c0e954815c28ad04f648b

Description

Tags

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

Published: 31 Aug 2021

Dependencies (4)

  1. coq-deriving (>= "0.1" & < "0.2~")
  2. coq-mathcomp-ssreflect (>= "1.10" & < "1.13~")
  3. coq (>= "8.11" & < "8.14~")
  4. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None