diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-07-24 11:26:09 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-07-24 11:26:09 +0100 |
commit | 426108aef2912bba65e34157cb43b0a67813dee5 (patch) | |
tree | 60dbdf84ef41eb911a9fb03f7075f4ff84e2042f /src/translation/HTLgenproof.v | |
parent | 7f633ad8c9b7d4580fe1a0a1b780ca4486e3fe99 (diff) | |
download | vericert-426108aef2912bba65e34157cb43b0a67813dee5.tar.gz vericert-426108aef2912bba65e34157cb43b0a67813dee5.zip |
Add feature list to README
Diffstat (limited to 'src/translation/HTLgenproof.v')
0 files changed, 0 insertions, 0 deletions