diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-07-26 00:02:40 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-26 00:02:40 +0200 |
commit | fe56f9efb8f9d983a9024383fa17695b347ec67e (patch) | |
tree | 50637e19ddab1692b1a03ae17b2715bf6aedc9c2 /proof.tex | |
parent | 3826f25870abb2725c5c0552ff0ebddd62803ebc (diff) | |
download | oopsla21_fvhls-fe56f9efb8f9d983a9024383fa17695b347ec67e.tar.gz oopsla21_fvhls-fe56f9efb8f9d983a9024383fa17695b347ec67e.zip |
Add section clarifying translation validation
Diffstat (limited to 'proof.tex')
0 files changed, 0 insertions, 0 deletions