Result of llprover

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

------- Ax
a --> a
------------ L/\2
top/\a --> a

CPU Time = 10 msec.

--------- Rtop  ------- Ax
a --> top       a --> a
----------------------- R/\
     a --> top/\a

CPU Time = 0 msec.


Naoyuki Tamura