Result of llprover

You are the 115090-th user of this script.
System:
Sequent:
Output Style:
Threshold value:

------ L0  ------- Ax
0 -->      a --> a
------------------ L+
    0+a --> a

CPU Time = 0 msec.

------- Ax
a --> a
--------- R0
a --> 0,a
--------- R+
a --> 0+a

CPU Time = 0 msec.


Naoyuki Tamura