projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb74867) | patch
[proofs] Alethe: Translate MODUS_PONENS rule (#7401)
authorLachnitt <lachnitt@stanford.edu>
Mon, 25 Oct 2021 22:24:04 +0000 (15:24 -0700)
committerGitHub <noreply@github.com>
Mon, 25 Oct 2021 22:24:04 +0000 (22:24 +0000)
commit446185d47831197312d6a95fc78a89ce4bbe6f9c
treecea8055d184ad44ac8b4695bedfe49eb38f4fbb6tree
parentcb748679157eb658ce5d1173d8f26957daf8f3dfcommit | diff
[proofs] Alethe: Translate MODUS_PONENS rule (#7401)

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

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