package coq-void

  1. Overview
  2. No Docs
MathComp instances for the empty type (Empty_set)

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. A
    Arthur Azevedo de Amorim

Maintainers

  1. A
    arthur.aa@gmail.com

Sources

v0.1.0.tar.gz
sha512=43184305ef9d76dae9cc2c8a4cfc4cf6f6689aa8c37e113e5ec338868a874821a02909ff3da7a93c92b2640bbd2e4610fe0c7c576f402bce5b73ea623e27ef4e

Description

Tags

keyword:empty type keyword:class instances category:Computer Science/Data Types and Data Structures date:2019-10-08 logpath:void

Published: 08 Oct 2019

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None