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.4.0.tar.gz
sha512=dba05b2b3efd340ddb1914d74ac1393def8371ee527269d9e867dddc29e348e3e64e840621dbb9a119ea59e1bcc4ed4217bd3a7779efe6656e50afaceff521b2

Description

Tags

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

Published: 25 Sep 2023

Dependencies (4)

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

Dev Dependencies

None

Used by (1)

  1. coq-ssprove

Conflicts

None