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 /.gitmodules | |
| 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 '.gitmodules')
0 files changed, 0 insertions, 0 deletions