package menhirSdk

  1. Overview
  2. Docs
Compile-time library for auxiliary tools related to Menhir

Install 

dune-project
 Dependency

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

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>
  2. Y
    Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>

Maintainers

  1. F
    francois.pottier@inria.fr

Sources

archive.tar.gz
md5=1af2d137eb20811c74ca516500164fd4
sha512=37a88b3ea0bde6089e5fbf0c1f10c1867c4edcd033ed3d5b75e7ed93e14ddd4f4c4db96baf638a054f65e294b83411497615c7fc14c6ff3a2a007e70f9d12c98

doc/index.html

menhirSdk

API

Library menhirSdk