aboutsummaryrefslogtreecommitdiff
path: root/doc/intro.tex
blob: c2e59566bc33d0de5ddd85cfe44f2a2ad9043b7d (plain)
1
2
3
4
5
6
7
8
\ocwsection This is \Coq, a proof assistant for the \CCI.

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