You are viewing the staging branch of the website @ 58d46ed, not the live version.

package coq-extructures

You can search for identifiers within the package.

in-package search v0.2.0

Finite sets, maps, and other data structures with extensional reasoning

Install

Dune Dependency

github.com Edit opam file Versions (8)

Authors

A

Arthur Azevedo de Amorim

Maintainers

A

arthur.aa@gmail.com

Sources

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)

coq-deriving (>= "0.2.0")
coq-mathcomp-ssreflect (>= "2.0.0") & (< "2.5~")
coq (>= "8.17" & < "9.1~")

Dev Dependencies

None

Used by (1)

coq-ssprove

Conflicts

None

On This Page

Description
Dependencies (3)
Dev Dependencies
Used by (1)
Conflicts