News for hackers. Stuff that matters.

A comment on Sequent Calculus and Notation – Par Part 1. Parent comment

Re:Sequent Calculus and Notation – Par Part 1 by hoping1 on Wednesday January 22, 2025 @02:14PM (#42796394)
Ah heck, I should have added a section on PTSs, maybe I still will or maybe that will be standalone later. It really is gorgeous stuff!!
[ Parent | on HN ]

There are no comments on this comment yet.