projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56e8b84) | patch
[proof] Added printer for proof rule names (#7185)
authorLachnitt <lachnitt@stanford.edu>
Wed, 15 Sep 2021 14:01:33 +0000 (07:01 -0700)
committerGitHub <noreply@github.com>
Wed, 15 Sep 2021 14:01:33 +0000 (11:01 -0300)
commit399c2b4fd86962a3cfb63be09d79855346d0d610
tree1a8c896844fd113f23ef0bdde4d4a2443bbb7337tree
parent56e8b8415727fdd2da72b00d5347e5b9309aca91commit | diff
[proof] Added printer for proof rule names (#7185)

Implementation file for Alethe proof rules.
src/proof/alethe/alethe_proof_rule.cpp [new file with mode: 0644] blob