author | Haniel Barbosa <hanielbbarbosa@gmail.com> | |
Mon, 8 Nov 2021 16:52:59 +0000 (13:52 -0300) | ||
committer | GitHub <noreply@github.com> | |
Mon, 8 Nov 2021 16:52:59 +0000 (16:52 +0000) |
src/proof/alethe/alethe_proof_rule.cpp | patch | blob | history | |
src/proof/alethe/alethe_proof_rule.h | patch | blob | history |