Dune
Getting Started and Core Concepts
How-to Guides
Reference Manual
dune
executable
executables
library
foreign_library
deprecated_library_name
generate_sites_module
test
tests
Cram
toplevel
documentation
install
plugin
rule
alias
copy_files
include
dynamic_include
env
dirs
data_only_dirs
ignored_subdirs
include_subdirs
vendored_dirs
subdir
cinaps
coq.theory
mdx
menhir
ocamllex
ocamlyacc
jbuild_version
dune-project
dune-workspace
config
Lexical Conventions
Actions
Ordered Set Language
Boolean Language
Predicate Language
Library Dependencies
Preprocessing Specification
Cram Tests
Scopes
Variables
Dependency Specification
OCaml Flags
Sandboxing
Locks
Diffing and Promotion
Package Specification
Aliases
Foreign Sources, Archives, and Objects
Command Line Interface
Dune Libraries
Dune Cache
Coq
Dune RPC
Packages
Findlib Integration
Explanation
Advanced Topics
Miscellaneous
Dune
Reference Manual
dune
coq.theory
Edit on GitHub
coq.theory
¶
See the documentation on the
coq.theory
,
coq.extraction
,
coq.pp
, and related stanzas.