package rocq-segmap

Build not yet checked
  1. Overview
  2. No Docs
A verified implementation of segment maps

Install 

dune-project
 Dependency

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

Authors

  1. F
    François Pottier <francois.pottier@inria.fr>

Maintainers

  1. F
    François Pottier <francois.pottier@inria.fr>

Sources

20261102.tar.gz
md5=bc03acd5839df73afe50a0999adbfe2b
sha512=69555af229afb165f88e27897ad5a6ab34322079fc0f6e717097218dc0c6d91b0c902110feea800f63902a5b2ed827e3b02d8f2a3ee8efd0e4477f6f411d32d1

Description

Added to opam-repository:

Dependencies (4)

  1. rocq-stdlib >= "9.2"
  2. rocq-core >= "9.2"
  3. rocq-prover >= "9.2"
  4. dune >= "3.22"

Dev Dependencies (1)

  1. odoc with-doc

Optional Dependencies

None

Used by

None

Conflicts

None

Build status

This version of rocq-segmap was published after the check.ci.ocaml.org run of against opam-repository 7cdc698, so it has no build results yet. check.ci runs about once a week.