package coq-primitive
Coq primitive object OCaml library
Install
Dune Dependency
Authors
Maintainers
Sources
coq-primitive-8.20.0.tar.gz
sha512=3fdf1f51c0cf18ba153a0e2acf5a56b4fd5a793ca6dfd6b879c9ac7055c94412c51e9f9107890cc9ed69b1bfd163c1239b2f901464486473afae1c5cc7da6325
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