diff options
| author | Lachnitt <lachnitt@stanford.edu> | 2021-09-21 12:59:27 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-21 16:59:27 -0300 |
| commit | 636012f559ff6df9f3ee774baba1b0805f4269c8 (patch) | |
| tree | fb345f85d9adeef5dce583e6ee75fe85c3711a8d /src/parser/smt2/smt2.cpp | |
| parent | c07d80a0ce4dc7144bad7146b0dc96574dd250c9 (diff) | |
[Proofs] Alethe: Translate ASSUME rule (#7213)
Implementation of the translation of ASSUME rules into the Alethe calculus.
Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
Diffstat (limited to 'src/parser/smt2/smt2.cpp')
0 files changed, 0 insertions, 0 deletions