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=23c380e23903e1974c923f3a6ff25ad4
sha512=0a929803068771bcc785abd94d37966fdb84f515f7f82393e685d44cc6e18144f62f2e00e0a7bf9b69f87c2c4bb9e33435878322d26b8fc37f7756fd84bc6f46

Description

Tags

date:2019-06-13 logpath:MenhirLib

Published: 14 Jun 2019

Dependencies (1)

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

Dev Dependencies

None

Used by

None

Conflicts (2)

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