Mercurial > hg > Papers > 2020 > soto-midterm

diff mid_thesis.tex @ 4:35f0e5f12fe6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add verification method
author soto@cr.ie.u-ryukyu.ac.jp
date Fri, 11 Sep 2020 02:30:15 +0900
parents b124f02ea3f1
children d1ab156eec7d
line wrap: on
line diff
--- a/mid_thesis.tex	Wed Sep 09 22:07:32 2020 +0900
+++ b/mid_thesis.tex	Fri Sep 11 02:30:15 2020 +0900
@@ -72,10 +72,6 @@
 
 \section{今後の課題}
 
-\section{類似技術}
-
-\subsection{coq}
-
 % 参考文献
 \begin{thebibliography}{9}