diff options
| author | Enrico Tassi | 2019-01-31 18:06:13 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2019-01-31 18:06:13 +0100 |
| commit | 54f0149481afaeacf7c41dc131aab16dbe29379b (patch) | |
| tree | c2cd52aeb39508f4b17c950df044b122b4ea93fb /kernel/nativecode.ml | |
| parent | f6f9cf742ee5894be65d6e2de527e3ab5a643491 (diff) | |
[proof] optimize proof always works on incomplete proofs
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions