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 @03:28PM (#42797121)
Fair, I think of this as advanced logic, and those concepts (and that notation) as prerequisite.
[ Parent | on HN ]

There are no comments on this comment yet.