Sequent Bot (@sequenzbot) 's Twitter Profile
Sequent Bot

@sequenzbot

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

2,2K Tweet

277 Takipçi

690 Takip Edilen