summaryrefslogtreecommitdiff
path: root/lib/doc.tex
blob: 35bd15fa1735f1bcaae132c56229f34f5f52396a (plain)
1
2
3
4
5
6
7

\newpage
\section*{Utility libraries}

\ocwsection \label{lib}
This chapter describes the various utility libraries used in the code
of \Coq.