Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
OAF
alignment-finder
Commits
0164945c
Commit
0164945c
authored
Apr 27, 2018
by
Dennis Müller
Browse files
screenshots
parent
34f0d00d
Changes
3
Hide whitespace changes
Inline
Side-by-side
tex/beautysource.png
View replaced file @
34f0d00d
View file @
0164945c
15.3 KB
|
W:
|
H:
70 KB
|
W:
|
H:
2-up
Swipe
Onion skin
tex/matroids.png
View replaced file @
34f0d00d
View file @
0164945c
21.2 KB
|
W:
|
H:
22.8 KB
|
W:
|
H:
2-up
Swipe
Onion skin
tex/usecase.tex
View file @
0164945c
...
...
@@ -3,7 +3,7 @@ stated in the introduction. A screenshot of Jane's theory of beautiful sets is g
is based on the (basic higher-order logic) foundation of the Math-in-the-Middle library (
\cite
{
ODK:mitm:16
}
developed natively in MMT.
\begin{figure}
[ht]
\centering
\fbox
{
\includegraphics
[width=
0.6
\textwidth]
{
beautysource
}}
\fbox
{
\includegraphics
[width=\textwidth]
{
beautysource
}}
\fbox
{
\includegraphics
[width=\textwidth]
{
results
}}
\caption
{
A Theory of ``Beautiful Sets'' in MMT Surface Syntax and Results of the Viewfinder
}
\label
{
fig:use:source
}
\end{figure}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment