projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59aa30f) | patch
[proofs] Alethe: Documentation on Translation (#7394)
authorLachnitt <lachnitt@stanford.edu>
Wed, 20 Oct 2021 18:50:38 +0000 (11:50 -0700)
committerGitHub <noreply@github.com>
Wed, 20 Oct 2021 18:50:38 +0000 (15:50 -0300)
commit5f97877e517f024f6d44d3201f5214853d04cc26
tree552940256f33bccd5263303cd273848f8a76dbe7tree
parent59aa30fe471f80b5e507561a4bd34fd3c9e52a09commit | diff
[proofs] Alethe: Documentation on Translation (#7394)

Provides background on the translation into the Alethe calculus that is common to all rules.

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