package coq-primitive
Coq primitive object OCaml library
Install
Dune Dependency
Authors
Maintainers
Sources
coq-primitive-8.18.0.tar.gz
sha512=420637cf1b769b157eb410a10b29dc34d703440778f9769c422cce7d525ea9899919db990c103636601fb0d0fc769ce7f229fa55c6c39811d101a222f26db22c
Description
This library provides OCaml modules for primitive objects in Coq. These modules can be used in Coq-based projects that rely on extraction to OCaml.
Published: 26 Jan 2026
On This Page