For now, a purely client-side reimplementation of Logitext. This is an implementation of the intuitionistic system LJ. For an implementation of the classical LK, see here. See more description here.