projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d071aa) | patch
[proofs] Alethe: Translate Equality rules (#7605)
authorLachnitt <lachnitt@stanford.edu>
Tue, 9 Nov 2021 22:10:32 +0000 (14:10 -0800)
committerGitHub <noreply@github.com>
Tue, 9 Nov 2021 22:10:32 +0000 (22:10 +0000)
commitd1397cb10bdbd45d3e40f64111408b9a7f0e0cf4
tree37042cb8bfd703a7c633c60e87306bafd4c9841ctree
parent2d071aa5cfd697cab7177cd3b520a87aaf0049ddcommit | diff
[proofs] Alethe: Translate Equality rules (#7605)

Implementation of the translation of SYMM, TRANS and CONG rules into the Alethe calculus.

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