News for hackers. Stuff that matters.

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

Re:Sequent Calculus and Notation – Par Part 1 by hoping1 on Wednesday January 22, 2025 @12:16PM (#42795098)
Extensive and patiently-paced, with many examples, and therefore unfortunately pretty long lol
[ Parent | on HN ]

There are no comments on this comment yet.