package coq-menhirlib

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

Install

Dune Dependency

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

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"
Rocq

Interactive Theorem Prover

Zulip GitHub Discourse Mastodon RSS
About
Changelog Releases Industrial Users Academic Users History Why Rocq? Roadmap
Ecosystem
Platform Packages Rocq Team Community Consortium Events Rocq Planet Jobs
Resources
Install Rocq Get Started Documentation Books Papers Logo
Policies
Governance Privacy Code of Conduct