https://hackerpaper.kaipfister.de/p/1404.6186/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=40138177urn:hackerpapers:mention:1404.6186:40138177Tue, 23 Apr 2024 22:40:10 GMT<p>Yes, this idea of collaborative proofs has been around for a while now, at least for 10 years: https://arxiv.org/abs/1404.6186</p><p><a href="https://hackerpaper.kaipfister.de/p/1404.6186/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LOhttps://news.ycombinator.com/item?id=11680284urn:hackerpapers:mention:1404.6186:11680284Wed, 11 May 2016 23:39:03 GMT<p>Very exciting. I wished there would also be room for a group at YCR/HARC working on collaborative theorem proving (CTP) as proposed here: http://arxiv.org/abs/1404.6186 :-)</p><p><a href="https://hackerpaper.kaipfister.de/p/1404.6186/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO