projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba3f3cf) | patch
[proof] Alethe proof rules (#7180)
authorLachnitt <lachnitt@stanford.edu>
Wed, 15 Sep 2021 13:25:54 +0000 (06:25 -0700)
committerGitHub <noreply@github.com>
Wed, 15 Sep 2021 13:25:54 +0000 (10:25 -0300)
commit56e8b8415727fdd2da72b00d5347e5b9309aca91
tree003df88403fe11bbdab100d022b48624e0566c5dtree
parentba3f3cf30a5486387dc3d58bd8464d9f01019f3ecommit | diff
[proof] Alethe proof rules (#7180)

Adds header for Alethe proof rules

Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
src/proof/alethe/alethe_proof_rule.h [new file with mode: 0644] blob