Document cvc5-style numerals
All threads resolved!
All threads resolved!
Compare changes
- Hans-Jörg authored
+ 5
− 5
@@ -427,9 +427,9 @@ $i$. & \ctxsep & $\varphi_1$, \dots , $\varphi_o$ & \currule\, [$a_1$, \dots, $
@@ -481,7 +481,7 @@ A simple \proofRule{la_generic} step in the logic \textsf{LRA} might look like t
@@ -495,7 +495,7 @@ not apply. Finally, after step~5 the conjunction is $(f\,a) - (f\,b) > 0 \land