Skip to content
Snippets Groups Projects
Commit a07a3f6d authored by Haniel Barbosa's avatar Haniel Barbosa Committed by Lachnitt
Browse files

Apply 1 suggestion(s) to 1 file(s)


Co-authored-by: default avatarHaniel Barbosa <hanielbbarbosa@gmail.com>
parent 81149671
No related branches found
No related tags found
1 merge request!6Add la_mult_pos and la_mult_neg rules
Pipeline #24090 passed
...@@ -601,7 +601,6 @@ Either of the form: ...@@ -601,7 +601,6 @@ Either of the form:
$(t_1 < 0 \land \neg (t_2 ≈ t_3)) \rightarrow \neg (t_1 * t_2 ≈ t_1 * t_3)$ $(t_1 < 0 \land \neg (t_2 ≈ t_3)) \rightarrow \neg (t_1 * t_2 ≈ t_1 * t_3)$
& (\currule) \\ & (\currule) \\
\end{AletheX} \end{AletheX}
.
\end{RuleDescription} \end{RuleDescription}
\begin{RuleDescription}{bind} \begin{RuleDescription}{bind}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment