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.1.0.tar.gz
md5=e28ebcddf02cc35b5e70d5318f617183

Description

Tags

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

Published: 26 Apr 2018

Dependencies (1)

  1. ocaml

Dev Dependencies (2)

  1. coq-mathcomp-ssreflect (>= "1.6" & < "1.8~") | (= "dev")
  2. coq (>= "8.7" & < "8.9~") | (= "dev")

Used by

None

Conflicts

None