Document cvc5-style numerals
Compare changes
- Haniel Barbosa authored
Co-authored-by:
Haniel Barbosa <hanielbbarbosa@gmail.com>
+ 1
− 1
@@ -33,7 +33,7 @@ Breaking changes:
This documents the addition of cvc5-style numerals.
Co-authored-by:
Haniel Barbosa <hanielbbarbosa@gmail.com>