projects / cvc5.git / commit
| author | Gereon Kremer <gkremer@stanford.edu> | |
| Fri, 7 Jan 2022 17:49:22 +0000 (09:49 -0800) | ||
| committer | GitHub <noreply@github.com> | |
| Fri, 7 Jan 2022 17:49:22 +0000 (17:49 +0000) | ||
| commit | d46b2c596befb493905d0037553fc0d0b5871df3 | |
| tree | 59e8b06a8aad87385663e9b98cd1ddb371294a53 | tree |
| parent | 4351f84f5bde316386aa2226a63bd9bf42659fca | commit | diff |
| docs/index.rst | diff | blob | history | |
| docs/theories/datatypes.rst | diff | blob | history | |
| docs/theories/sets-and-relations.rst | diff | blob | history | |
| docs/theories/theories.rst | [new file with mode: 0644] | blob |
| docs/theory.rst | [deleted file] | blob | history |