Add todo on RustProof

7ede2eaa · Jasper Clemens Gräflich · 1617ed1a · 7ede2eaa
Commit 7ede2eaa authored 2 years ago by Jasper Clemens Gräflich
--- a/proposal/proposal.tex
+++ b/proposal/proposal.tex
@@ -200,7 +200,7 @@ Zeitraum    | M | Ziel

 \todo[inline]{Auswahl einer Semantik für Refinement Types}
 \todo[inline]{Restrukturierung Implementation?}
-
+\todo[inline]{Analyse RustProof}

 \end{markdown}