Result of llprover

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

------- Ax
a --> a
---------- L/\1
a/\a --> a

CPU Time = 0 msec.

------- Ax  ------- Ax
a --> a     a --> a
------------------- R/\
    a --> a/\a

CPU Time = 0 msec.


Naoyuki Tamura