package coq-extructures

  1. Overview
  2. No Docs
Finite 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.2.1.tar.gz
sha512=1798513a2826525c6d0d91c0c5e6a928511e1bea78f9268b24bb2c312a1f735160f51ed95bfc7e1879248e8f95b9fd3e1961203c188535bfa36e0690b2ff8e77

Description

Tags

keyword:finite maps keyword:extensionality category:Computer Science/Data Types and Data Structures date:2019-10-26 logpath:extructures

Published: 26 Oct 2019

Dependencies (3)

  1. coq-mathcomp-ssreflect >= "1.9" & < "1.10~"
  2. coq >= "8.10" & < "8.12~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None