coqdocで日本語を含むPDFを生成する ref: http://qiita.com/yoshihiro503/items/2e3035cc602301c7c9fc

file2.txt

$ coq_makefile -f Make -o Makefile
$ export COQDOCFLAGS="-interpolate -utf8 --body-only"
$ make Proof.pdf

file3.txt

$ unset COQDOCFLAGS
$ make html

Make

-R src JapaneseCoqdocSampleProject
src/Hoge.v
src/Piyo.v
-custom "platex Proof.tex; platex Proof.tex" "Proof.tex $(VOFILES) $(VFILES:.v=.tex)" "Proof.dvi"
-custom "dvipdfmx Proof.dvi" "Proof.dvi" Proof.pdf

Proof.tex

\documentclass[12pt]{jreport}
\usepackage[]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{fullpage}
\usepackage{coqdoc}
\usepackage{amsmath,amssymb}
\begin{document}

\title{証明報告書}
\author{有限会社 ITプランニング\\システム検証部　証明支援系課\\今井宜洋}
\date{\today}

\maketitle

\tableofcontents{}

%% Coqソースコードを追加削除変更したときはこちらも変更してください
\include{src/Hoge}
\include{src/Piyo}

\end{document}