Document cvc5-style numerals
All threads resolved!
All threads resolved!
Compare changes
- Haniel Barbosa authored
Co-authored-by:
Haniel Barbosa <hanielbbarbosa@gmail.com>
+ 1
− 1
@@ -33,7 +33,7 @@ Breaking changes: