aboutsummaryrefslogtreecommitdiff
path: root/toplevel/doc.tex
blob: 9788990b126526cd463a0b3e9953b3f94519190b (plain) 
1
2
3
4
5

\section*{The Coq toplevel}

\ocwsection \label{toplevel}
This section the highest modules of the \Coq\ system.
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 08:35:17 +0000