path: root/doc/intro.tex

\ocwsection This is \Coq, a proof assistant for the \CCI.

% \input{epsf}
% \epsfxsize=5cm
% \epsfysize=10cm
% \hspace*{2cm}\vspace*{4cm}%
% \epsfbox{kernel.graph.ps}