diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-12 11:41:26 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-12 09:41:26 -0700 |
commit | 9d1ce085de6df543d9d9a2fa9b8fa9001feb4b6b (patch) | |
tree | 023474f131ee9f21e829fc623e31de808b9235d5 /examples | |
parent | 3f77b4ac0d4ff8ab69e2f2932e9ced088bd339ed (diff) |
(proof-new) Witness form proof generator (#4782)
This class is responsible for the connection between terms and their witness form in the final proof.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions