News for hackers. Stuff that matters.

A comment on Should proofs include a third “context” column?. Parent comment

Re:Should proofs include a third “context” column? by dnautics on Wednesday January 12, 2022 @02:26PM (#29911628)
> (and even formal proof systems don't use two column proof notation)

Might be interesting to see a crack at that, though.

[ Parent | on HN ]

There are no comments on this comment yet.