Result of llprover

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

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

CPU Time = 10 msec.

            ------- Ax
            a --> a
------- Ax  ---------- R\/1
a --> a     a --> a\/b
---------------------- R/\
    a --> a/\a\/b

CPU Time = 0 msec.


Naoyuki Tamura