Bevis i resultat togs bort

Author: Oskar Lundström

Rapport/include/Resultat.tex

@@ -53,18 +53,12 @@ \section{Läromaterialet}\label{sec:res_laromaterial}
 sin fullständighet är de behandlade områdena:
 
 \begin{itemize}
-  \item Bevis
   \item Dimensioner
   \item Matematisk analys
   \item Vektorer
   \item Kompositioner och tillämpningar av ovanstående
 \end{itemize}
 
-I \textit{bevis}-kapitlet presenteras bevisföring med hjälp av Haskells
-typsystem. Närmare bestämt används \textit{Curry Howard isomorfin}, som säger
-att typer är påståenden och värden bevis\cite{chi}. Det exemplifieras genom att
-kinematiska formler bevisas. 
-
 \textit{Dimensioner} behandlar dimensioner, storheter och enheter inom fysiken.
 Fysikaliska dimensioner införs på typnivå i Haskell för att visa likheten mellan
 Haskells typsystem och hur man måste förhålla sig till dimensioner inom fysiken.
@@ -110,6 +104,8 @@ \section{Läromaterialet}\label{sec:res_laromaterial}
 tillgänglig på projektets GitHub-repository.\cite{LYAP_repo} Texten är skriven
 på engelska.
 
+Förutom de områden som nämnts hittills finns ett antal delvis färdigställda områden, till exempel bevisföring. Den intresserade läsaren hänvisas till projektets GitHub-repository\cite{LYAP_repo}.
+
 \section{Utvärderingen med testgruppen}\label{sec:res_test}
 
 Utfallet från utvärderingen med testgruppen var till övervägande del positivt.