News for hackers. Stuff that matters.

A comment on Untangling Mechanized Proofs. Parent comment

Re:Untangling Mechanized Proofs by carapace on Sunday November 22, 2020 @01:55PM (#25179956)
Thank you!
[ Parent | on HN ]

There are no comments on this comment yet.