A web app to generate proof structures from logic statements