package coq-charge-core

  1. Overview
  2. No Docs
A framework of typeclasses for shallow embeddings of intuitionistic

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. J
    Jesper Bengtson
  2. G
    Gregory Malecha

Maintainers

  1. G
    gmalecha@gmail.com

Sources

v1.2.0.tar.gz
md5=8aeff5cebd29965b53698740a3fa493b

Description

logics. Also includes definitions for separation algebras.

Published: 28 Jul 2017

Dependencies (3)

  1. coq-ext-lib >= "0.9.6"
  2. coq (>= "8.6" & < "8.7~") | (>= "8.7.2" & < "8.10~")
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None