Commit 75721da1 authored by Michael Banken's avatar Michael Banken

added to intro, replaced placeholder

parent 53a14714
......@@ -7,4 +7,6 @@
year={2017}
}
@misc{MMTapi, title={{MMT API Documentation}}, howpublished = {\url{https://uniformal.github.io/apidoc/index.html}}, journal={MMT Documentation}, publisher={uniformal.github.io}, note={Accessed: 2018-06-14}}
\ No newline at end of file
@misc{MMTapi, title={{MMT API Documentation}}, howpublished = {\url{https://uniformal.github.io/apidoc/index.html}}, journal={MMT Documentation}, publisher={uniformal.github.io}, note={Accessed: 2018-06-20}}
@misc{latin, title={{MMT/LATIN}}, howpublished = {\url{https://gl.mathhub.info/MMT/LATIN}}, journal={mathhub}, publisher={gl.mathhub.info}, note={Accessed: 2018-06-26}}
\ No newline at end of file
......@@ -5,12 +5,11 @@ Knowledge is complicated and so is its representation.
\begin{figure}[!htb]
\centering
\includegraphics[width=\textwidth/2]{placeholder}
\caption{Picture of a theory graph using TGView\cite{rupprecht2017flexible}}
\includegraphics[width=\textwidth/2]{tgview}
\caption{Picture of the LATIN archive\cite{latin} graph using TGView\cite{rupprecht2017flexible}}
\label{fig:tgview}
\end{figure}
To help reduce unnecessary complexity of these theory graphs, I introduce styler, a semi-automated tool for optimizing theory inclusions.
\section{Goal}
Since these theory graphs can be massive in size, it should not be surprising that like any other large project they can be plagued by redundancies and entirely unnecessary dependencies.
To help reduce unnecessary complexity of these theory graphs, I introduce Styler, an automated tool for optimizing theory inclusions.
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment