diff options
| author | Brian Campbell | 2019-06-05 15:45:32 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-06-05 15:45:43 +0100 |
| commit | c764daadc0e7138173ddb0895298dae846a7d8b6 (patch) | |
| tree | d3b4da959dce36a819b423b0167d7b971f6286d1 /doc | |
| parent | b50319867a21b66b66091e6430d36f12457bf5e7 (diff) | |
Coq: generalize proof terms before main solver
Ensures that dependencies in proofs don't affect rewriting.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions