projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8995119) | patch
[proofs] Alethe: Translate Block of clause pattern rule (#7406)
authorLachnitt <lachnitt@stanford.edu>
Tue, 26 Oct 2021 14:14:01 +0000 (07:14 -0700)
committerGitHub <noreply@github.com>
Tue, 26 Oct 2021 14:14:01 +0000 (14:14 +0000)
commita05f07c298692ced47c73918876b173bc0fc431d
tree30a00ad61e8d914457ebe8d82172e9e5f4df8d6etree
parent8995119775293b5b3e618701d2e4e318f18e5fedcommit | diff
[proofs] Alethe: Translate Block of clause pattern rule (#7406)

Implementation of the translation of a number of rules that follow the clause pattern into the Alethe calculus.

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