diff options
author | Lachnitt <lachnitt@stanford.edu> | 2021-09-17 14:03:01 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-17 21:03:01 +0000 |
commit | 1704b74ffa93b36a2e08e42ca21aad0991ad4d70 (patch) | |
tree | fd6f603b1668b1e35a3c5b8c379c1e7a38202bf5 /src/main | |
parent | 03b640fb95528063772c80555d7f06a9884cd870 (diff) |
[proofs] Alethe: Added Proof Postprocessor to alethe_proof_processor (#7202)
Added proof postprocessor class to alethe_proof_processor header file.
Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
Diffstat (limited to 'src/main')
0 files changed, 0 insertions, 0 deletions