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