package coq-type-infer

  1. Overview
  2. No Docs
A formal verification of algorithm W

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. M
    Masayuki Mizuno <mizuno@wantedly.com>

Maintainers

  1. M
    Masayuki Mizuno <mizuno@wantedly.com>

Sources

0.1.0.tar.gz
md5=c4d970724196eb181cc51ee7718de3c6

Description

Published: 15 Dec 2020

Dependencies (3)

  1. coq-mathcomp-ssreflect >= "1.11"
  2. coq >= "8.8"
  3. dune >= "2.5"

Dev Dependencies

None

Used by

None

Conflicts

None