diff options
| author | Chantal Keller <Chantal.Keller@inria.fr> | 2019-03-12 09:52:17 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@inria.fr> | 2019-03-12 09:52:17 +0100 |
| commit | 4a610de645ca2bb505c97dd082220a57595019ad (patch) | |
| tree | 66775f6efb1a0a0980a399cff1d3d2bff31f14f7 /src/trace/smtCertif.ml | |
| parent | e3ab22e6278670fadd5465327c5541d15049f526 (diff) | |
| download | smtcoq-4a610de645ca2bb505c97dd082220a57595019ad.tar.gz smtcoq-4a610de645ca2bb505c97dd082220a57595019ad.zip | |
Support for native-coq
Diffstat (limited to 'src/trace/smtCertif.ml')
0 files changed, 0 insertions, 0 deletions