projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 396dfa0) | patch
[proofs] Alethe: Translate CONTRA rule (#7403)
authorLachnitt <lachnitt@stanford.edu>
Tue, 26 Oct 2021 13:21:26 +0000 (06:21 -0700)
committerGitHub <noreply@github.com>
Tue, 26 Oct 2021 13:21:26 +0000 (13:21 +0000)
commit2b2ccd57aed86414a6cee5251e3b55aeafd256e3
tree1afa8710b522969d21af305fd7ee6cb6cfb6e21ctree
parent396dfa071d5ab40a1d2ab3ab84c5fdf41c3affd9commit | diff
[proofs] Alethe: Translate CONTRA rule (#7403)

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

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