projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 970072e) | patch
[proofs] Alethe: Translate SCOPE rule (#7224)
authorLachnitt <lachnitt@stanford.edu>
Thu, 23 Sep 2021 17:38:27 +0000 (10:38 -0700)
committerGitHub <noreply@github.com>
Thu, 23 Sep 2021 17:38:27 +0000 (17:38 +0000)
commit1f9b3fe6f25ef9a568bfaad1881766cec973462b
treef5658b6193957184d90bde328616c63c445d40ddtree
parent970072e32f860a43b37bc0473bfdf1ab0af5d01ecommit | diff
[proofs] Alethe: Translate SCOPE rule (#7224)

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

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