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