Continue writing

rapport.tex

@@ -182,7 +182,7 @@ The main objective of the internship was to come up with basic implementations
 of arithmetical operations, so that proving their correctness would be easier.
 A secondary objective was to find out the tools we did not have (and therefore
 should make) that could help us designing hardware, such as
-Stately\cite{Stately}.
+Stately\cite{stately}.
 
 \section{Tools and theory}