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=799748bc3b7a542798a85956c7863865
sha512=620ff3443143535e03ac98c5e8ee2ddf9ba48f8cfe441302118def1da3e03ffac7f48d4d4cb129766b625ecad0fb341da1baa0169dee8b6d07a5b0bbb735cf2f

Description

Tags

date:2023-12-31 logpath:MenhirLib

Published: 31 Dec 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