main.tex


1
2
3
4
5
6
7
8
9
10
11
12
13
14

\documentclass{article}
\usepackage[utf8]{inputenc}

\title{Formally Verified HLS}
\author{ymherklotz }
\date{June 2020}

\begin{document}

\maketitle

\section{Introduction}

\end{document}