Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

test_latex [2016/07/14 15:07]
wikiadmin
test_latex [2016/07/14 15:07] (current)
wikiadmin
Line 4: Line 4:
 \begin{array}{l} \begin{array}{l}
 a > 2 \wedge res \geq 0 \wedge (n = n0 \lor res > 14) \rightarrow \\ a > 2 \wedge res \geq 0 \wedge (n = n0 \lor res > 14) \rightarrow \\
-2a \land res + 2a >= 0 \wedge (n - 1 = n_0 \lor res + 2a \geq 0)+2a \land res + 2a >= 0 \wedge (n - 1 = n_0 \lor res + 3a \geq 0)
 \end{array} \end{array}
 </​latex>​ </​latex>​
 
test_latex.txt · Last modified: 2016/07/14 15:07 by wikiadmin