The Frree Bilateral TableauThis is a bilateral tableau that one devleops by hand with the system evalutaing contributions for validity and closing branches step by step.
Why Only Bilateral?Good question! I was talking to people who teach with bilateral tableaux when I began building the LRC so that is what I built first. The modification to produce a unilateral tableau is not difficult and these will be released soon.
Under Active DevelopmentThis problem type is currently not user-friendly. We will be introducing usability improvements and some sort of heads-up zooming user interface.
