Lab for Automated Reasoning and Analysis LARA

Start


\begin{array}{l}
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 + 3a \geq 0)
\end{array}

End

 
test_latex.txt · Last modified: 2016/07/14 15:07 by wikiadmin
 
© EPFL 2018 - Legal notice