diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-08-04 13:58:14 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-04 18:58:14 +0000 |
| commit | 6db55eeefaf15f8aa1c08a73ad2a589da443cdc0 (patch) | |
| tree | 74a98bbe211dbe44827a9e2e2247c6836be99d1f /src/proof/proof_generator.h | |
| parent | cc9155e74a4c7fbbf66f736e0d6f67499329ba69 (diff) | |
Add containsAssumption proof utility (#6953)
Work towards making our policy for subproof merging safer.
Diffstat (limited to 'src/proof/proof_generator.h')
0 files changed, 0 insertions, 0 deletions