projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 730f4cf) | patch
Document arithmetic proof rules (#8373)
authorGereon Kremer <gkremer@cs.stanford.edu>
Thu, 24 Mar 2022 19:14:40 +0000 (20:14 +0100)
committerGitHub <noreply@github.com>
Thu, 24 Mar 2022 19:14:40 +0000 (19:14 +0000)
commitbedf02b659d238b438e1176694c3f7e44b9cdacc
treeb94bb708674dec0d5b4ef27e3cff8ba8e60f36betree
parent730f4cf0c5cf5af8475e338fbe28e099b14bfed5commit | diff
Document arithmetic proof rules (#8373)

This PR converts the documentation for the arithmetic proof rules, excluding those for transcendentals and coverings.
src/proof/proof_rule.h diff | blob | history