JITPRO: JavaScript Interactive Higher-Order Tableau Prover

<P>Sorry, the prover requires a browser that supports frames.</P>