diff options
author | ymherklotz undefined <ymherklotz@gmail.com> | 2020-06-03 10:49:23 +0000 |
---|---|---|
committer | overleaf <overleaf@localhost> | 2020-06-03 10:51:39 +0000 |
commit | 6ab54eeac5915bfbc3f88b14cf301e470ee54d0c (patch) | |
tree | 551824e3583186f8e69d73044788243c7f2b7444 /main.tex | |
download | oopsla21_fvhls-6ab54eeac5915bfbc3f88b14cf301e470ee54d0c.tar.gz oopsla21_fvhls-6ab54eeac5915bfbc3f88b14cf301e470ee54d0c.zip |
Update on Overleaf.
Diffstat (limited to 'main.tex')
-rw-r--r-- | main.tex | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/main.tex b/main.tex new file mode 100644 index 0000000..6c5aa77 --- /dev/null +++ b/main.tex @@ -0,0 +1,14 @@ +\documentclass{article} +\usepackage[utf8]{inputenc} + +\title{Formally Verified HLS} +\author{ymherklotz } +\date{June 2020} + +\begin{document} + +\maketitle + +\section{Introduction} + +\end{document} |