package coq-menhirlib

  1. Overview
  2. No Docs
A support library for verified Coq parsers produced by Menhir

Install

Dune Dependency

gitlab.inria.fr Edit opam file Versions (27)

Authors

  1. J
    Jacques-Henri Jourdan <jacques-henri.jourdan@lri.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=f77d327a6203dfa031a9b94466b0c560
sha512=7f21e60353219a70a3a037a1e77422aa11465d532335114b184dcefb5570c88070cb2f052351710dd13adcd3c0a15a3e8439b41b8ba4583dab71f6ce26d397f0

Description

Tags

date:2019-06-20 logpath:MenhirLib

Published: 20 Jun 2019

Dependencies (1)

  1. coq >= "8.8.1" & < "8.9"

Dev Dependencies

None

Used by

None

Conflicts (2)

  1. coq-native
  2. menhir != "20190620"