Document cvc5-style numerals
All threads resolved!
All threads resolved!
Compare changes
- Hans-Jörg authored
+ 6
− 1
@@ -33,7 +33,12 @@ Breaking changes:
@@ -33,7 +33,12 @@ Breaking changes:
Instead, the list of instatiation terms must follow the variable order and cover all the respective bound variables.