News for hackers. Stuff that matters.

A comment on Untangling Mechanized Proofs. Parent comment

Re:Untangling Mechanized Proofs by cpitclaudel on Thursday December 03, 2020 @06:25PM (#25296857)
Oh, this is great. Sorry I missed that in my related work section :/
[ Parent | on HN ]

There are no comments on this comment yet.