News for hackers. Stuff that matters.

A comment on Typesetting the "Begriffsschrift" by Gottlob Frege in Plain TeX [pdf].

Re:Typesetting the "Begriffsschrift" by Gottlob Frege in Pla... by lapcat on Thursday November 20, 2025 @02:58PM (#45996923)
Way back in my university days, we wrote Begriffsschrift proofs by hand in logic class.
[ Parent | on HN ]

There are no comments on this comment yet.