diff options
Diffstat (limited to 'introduction.tex')
| -rw-r--r-- | introduction.tex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/introduction.tex b/introduction.tex index 5c8bcac..dfd447d 100644 --- a/introduction.tex +++ b/introduction.tex @@ -45,3 +45,8 @@ CoqUp is open source and is hosted on Github\footnote{https://github.com/ymherkl \NR{Is both the translator and verifier written in Coq?} \NR{A tool-flow diagram here will be useful. I thought you had one previously?} \NR{Do you think we have a very simple example of a program where wrong Verilog is generated in VHLS or LegUp, but not in CoqUp?} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: "main" +%%% End: |