diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-07-07 00:55:52 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-07-07 00:55:52 +0100 |
commit | aea11ef02422b8302779676a31adcf6dafbff0dd (patch) | |
tree | ac2c14ac90d85447548477d5bb435b2da0c03717 /coqup.opam | |
parent | bfb722caf2d46867779222b45615481e9020f0aa (diff) | |
download | vericert-aea11ef02422b8302779676a31adcf6dafbff0dd.tar.gz vericert-aea11ef02422b8302779676a31adcf6dafbff0dd.zip |
Proof of TransfHTLLink DONE
Diffstat (limited to 'coqup.opam')
0 files changed, 0 insertions, 0 deletions