Commit 7dd23f28 authored by Quentin Aristote's avatar Quentin Aristote
Browse files

fixed title

parent a7de4685
......@@ -49,8 +49,8 @@
\begin{document}
\title{Fibrational Framework for Nested Fixed Points and (Bi)Simulation Notions for B\"uchi
Automata
\title{Fibrational Framework for Nested Alternating Fixed Points and (Bi)Simulation Notions for B\"uchi
Automata \\
\large M1 internship report}
\author{Quentin Aristote}
\date{August the 28th, 2020}
......
Supports Markdown
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