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=8ff26b1e3685c472b7b3aba2fe938a43
sha512=334b9dcb1283a28b8547082a89536b1d439ff588290b8eaecdf4802c5f74dbc8d16ad6fc6c0820036183518d83e2cc273a75787a8b41137424c8e7ee82e2b50a

Description

Tags

date:2023-06-08 logpath:MenhirLib

Published: 08 Jun 2023

Dependencies (1)

  1. coq >= "8.7"

Dev Dependencies

None

Used by (5)

  1. coq-compcert >= "3.9"
  2. coq-compcert-32 >= "3.9"
  3. coq-compcert-64 = "3.7+8.12~coq_platform~open_source"
  4. coq-json
  5. coq-mi-cho-coq

Conflicts (1)

  1. menhir != version