Result of llprover

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

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

CPU Time = 0 msec.

-------------- Lbot
bot --> bot/\a

CPU Time = 0 msec.


Naoyuki Tamura