projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b2ccd5) | patch
[proofs] Alethe: Translate AND_ELIM rule (#7404)
authorLachnitt <lachnitt@stanford.edu>
Tue, 26 Oct 2021 13:40:07 +0000 (06:40 -0700)
committerGitHub <noreply@github.com>
Tue, 26 Oct 2021 13:40:07 +0000 (13:40 +0000)
commitf767e820881e57fd315616efa2a1817110758e93
treedc755205e5170b396e4c93797b04b8a0a8c83a73tree
parent2b2ccd57aed86414a6cee5251e3b55aeafd256e3commit | diff
[proofs] Alethe: Translate AND_ELIM rule  (#7404)

Implementation of the translation of AND_ELIM rules into the Alethe calculus.

Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
src/proof/alethe/alethe_post_processor.cpp diff | blob | history