Tag Archives: sequent calculus

Sequent calculus fun with Logitext

(This post is overdue; I’ve been more than usually busy at work on a new project, and have not had the energy to do anything interesting when I get home. Well, I saw this a while ago and today out … Continue reading

Posted in Math, Programming | Tagged , | 2 Comments