package rocq-marble

  1. Overview
  2. Homepage
Data structures based on machine integers and primitive arrays

Install

Dune Dependency

Authors

Maintainers

Sources

archive.tar.gz
md5=fb7c67c8a1a4f032c10a850a266814d5
sha512=cdfc77ede536b3b5955c02908441b07b00b143167499c37955f82e9a5a2db8f6525a20189cbcfefe394a91e3bbbd3a7416a7d9c5527a728b37f50902ac8eebe9

Description

Tags

date:2026-04-21 logpath:marble

Published: 22 Apr 2026

Dependencies (6)

  1. rocq-listz
  2. dune >= "3.21"
  3. rocq-stdpp (>= "1.13.0")
  4. rocq-equations
  5. rocq-stdlib (>= "9.1")
  6. rocq-core (>= "9.1")

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover