Sequent Prover (seqprover)

Sequent:
Output style:

[Top page]


Trying to prove with threshold = 0

-------------- Rtop
p\/top --> top

# Proved in 0 msec.

Trying to prove with threshold = 0

---------- Rtop
 --> p,top
----------- R\/
 --> p\/top
-------------- Ltop
top --> p\/top

# Proved in 0 msec.

Maintained by Naoyuki Tamura / Programmed by Naoyuki Tamura