projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e03b17) | patch
Document proof rules for transcendentals (#8375)
authorGereon Kremer <gkremer@cs.stanford.edu>
Wed, 23 Mar 2022 19:17:29 +0000 (20:17 +0100)
committerGitHub <noreply@github.com>
Wed, 23 Mar 2022 19:17:29 +0000 (19:17 +0000)
commitc7d68c3848e6647b4c21cbb08bebf28638be2bfd
tree9980f06ccc95c92bafceaa536050490f1ed35600tree
parent0e03b178fb96f1bab934a8ccd064a3df44db42b3commit | diff
Document proof rules for transcendentals (#8375)

This PR converts the documentation for the proof rules for the transcendental reasoning in the arithmetic solver.
src/proof/proof_rule.h diff | blob | history