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.5.0.tar.gz
sha512=bedb42e09ace965024d3141e104a2ca04afa76c6753e632b6a42f11784671047c9d40d94d814b405a6e997a51ecc54c84e00de86f2c63e4de068fef9ea44717b

Description

Tags

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

Published: 10 Dec 2024

Dependencies (3)

  1. coq-deriving (>= "0.2.0")
  2. coq-mathcomp-ssreflect (>= "2.0.0")
  3. coq (>= "8.17" & < "8.21~")

Dev Dependencies

None

Used by (1)

  1. coq-ssprove

Conflicts

None