Mercurial > hg > Papers > 2023 > soto-master

diff Paper/master_paper.tex @ 8:d4f3d9d283a2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author soto <soto@cr.ie.u-ryukyu.ac.jp>
date Mon, 23 Jan 2023 13:18:37 +0900
parents c821e707a5ee
children 1a8a9fa534a2
line wrap: on
line diff
--- a/Paper/master_paper.tex	Sun Jan 22 21:20:59 2023 +0900
+++ b/Paper/master_paper.tex	Mon Jan 23 13:18:37 2023 +0900
@@ -120,6 +120,7 @@
 
 \input{tex/cbc_agda.tex}
 
+
 \chapter{Gears Agda による定理証明}
 \input{tex/hoare.tex}
 \input{tex/while_loop.tex} % while loop の実装と検証(簡単に)