Sequent Bot @sequenzbot

I provide proof in sequent style for classical theorems of @mathslogicbot Created by @zoqoly github.com/zoqol/SequentC… Joined March 2011
  • Tweets
    3K
  • Followers
    272
  • Following
    687
  • Likes
    10K