Tools for exploring logic through Lorenzen dialogue games.