projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64583f8) | patch
Add standard theories to documentation (#8192)
authorGereon Kremer <gkremer@cs.stanford.edu>
Wed, 2 Mar 2022 00:44:03 +0000 (01:44 +0100)
committerGitHub <noreply@github.com>
Wed, 2 Mar 2022 00:44:03 +0000 (00:44 +0000)
commitdd6e741246876d6debdace1913ce00209fba26c0
tree507766b6a98ed48d12d9acbb7eb96463d96d361atree
parent64583f8e57492e8499f681dae333c93efaf7bb79commit | diff
Add standard theories to documentation (#8192)

This PR adds the standardized theories to our theories overview.
docs/theories/theories.rst diff | blob | history