projects / cvc5.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
docs: Migrate datatypes theory reference. (#6662)
[cvc5.git] / docs / theory.rst
1 Theory References
2 =================
3
4 .. toctree::
5 :maxdepth: 1
6
7 theories/datatypes