diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-02 12:49:18 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-02 12:50:37 +0100 |
commit | d6f2303568dd45b5c684612482485b4a46da1d88 (patch) | |
tree | c5aa5bfb2d81245d643246d8884046eafbc81a22 /.github | |
parent | 564fb33a504d7611d73bbe5e20b23453e141ed3d (diff) | |
download | vericert-d6f2303568dd45b5c684612482485b4a46da1d88.tar.gz vericert-d6f2303568dd45b5c684612482485b4a46da1d88.zip |
Give a (questionable) translation spec for HTLgen
I am not yet convinced it is the right one, particularly around the way
I've used existentials. I will be updating it as I progress with the proof.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions