package coq-lemma-overloading

  1. Overview
  2. No Docs
Hoare Type Theory libraries showcasing design patterns for programming with canonical structures

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. G
    Georges Gonthier
  2. B
    Beta Ziliani
  3. A
    Aleksandar Nanevski
  4. D
    Derek Dreyer

Maintainers

  1. P
    palmskog@gmail.com

Sources

v8.8.0.tar.gz
md5=a7056f6477fc274d2c0ef30dab492bde

Description

Tags

keyword:canonical structures keyword:proof automation keyword:Hoare type theory keyword:lemma overloading category:Computer Science/Data Types and Data Structures date:2018-07-24 logpath:LemmaOverloading

Published: 20 Nov 2018

Dependencies (3)

  1. coq-mathcomp-ssreflect >= "1.6.2" & < "1.8~"
  2. coq >= "8.8" & < "8.9~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None