diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-04-29 02:25:12 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-04-29 02:25:12 +0200 |
commit | 640bf0dda4a4880aeb525d1460dc91f5041aa626 (patch) | |
tree | 68dfa3afc15c76979364cab6fe10c06f16d9d842 /src/versions/standard/Array | |
parent | d734e4eae47b0b7f13626053663d236faa7f69e6 (diff) | |
download | smtcoq-640bf0dda4a4880aeb525d1460dc91f5041aa626.tar.gz smtcoq-640bf0dda4a4880aeb525d1460dc91f5041aa626.zip |
Possibility to embed any Coq proof in certificates (not tested yet)
Diffstat (limited to 'src/versions/standard/Array')
0 files changed, 0 insertions, 0 deletions