I provide proof in sequent style for classical theorems of @mathslogicbot

Created by @zoqoly

ID: 265319105

linkhttps://github.com/zoqol/SequentCalculi calendar_today13-03-2011 10:44:36