Result of llprover

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

------- Ax  ------- Ax
a --> a     b --> b
------------------- L->
   a,a->b --> b

CPU Time = 0 msec.


Naoyuki Tamura