wyj/progress-report
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

update: auto commit

Browse Source
This commit is contained in:
Yingjie Wang
2026-04-10 00:23:16 -04:00
parent 9ad3eae936
commit c39e3180c9
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
report.tex
+3 -3
View File
@@ -282,7 +282,7 @@
% \node[draw=none, above=1mm of gh, font=\scriptsize] {full first order}; % \node[draw=none, above=1mm of gh, font=\scriptsize] {full first order};
\end{tikzpicture} \end{tikzpicture}
\caption{Commenly used systems.\footnote{Blue: second order systems; Red: first order systems. Solid arrows: direct modifications; Dashed arrows: indirect relation. Bidirectional arrows: equivalence.}} \caption{Commonly used systems.\footnote{Blue: second order systems; Red: first order systems. Solid arrows: direct modifications; Dashed arrows: indirect relation. Bidirectional arrows: equivalence.}}
\end{figure} \end{figure}
\vspace{-0.5cm} \vspace{-0.5cm}
\begin{itemize} \begin{itemize}
@@ -295,7 +295,7 @@
\end{itemize} \end{itemize}
\end{frame} \end{frame}
\begin{frame}{Searching for a first order Z4c}{First order Z4c?} \begin{frame}{First order Z4c?}
\subsection{First order Z4c?} \subsection{First order Z4c?}
\begin{figure} \begin{figure}
\centering \centering
@@ -341,7 +341,7 @@
% \node[draw=none, above=1mm of gh, font=\scriptsize] {full first order}; % \node[draw=none, above=1mm of gh, font=\scriptsize] {full first order};
\end{tikzpicture} \end{tikzpicture}
\caption{Commenly used systems, and first order reductions.} \caption{Commonly used systems, and first order reductions.}
\end{figure} \end{figure}
\end{frame} \end{frame}