Result of llprover

You are the 3-rd user of this script.

System: CLL
Formula: [] --> a->b->a*b
Output style: proofnet, pretty

              Ax(1)  Ax(2)
              a      b
       Ax(2)  -------- *
       ~b       a*b
Ax(1)  ------------ +
~a        ~b+a*b
---------------- +
   ~a+ ~b+a*b

CPU Time = 156 msec.

Naoyuki Tamura