https://hackerpaper.kaipfister.de/p/1610.05278/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=21218847urn:hackerpapers:mention:1610.05278:21218847Thu, 10 Oct 2019 20:30:56 GMT<p>A few links found by following up: https://xenaproject.wordpress.com http://wwwf.imperial.ac.uk/~buzzard/one_off_lectures/msr.pdf http://aitp-conference.org/2019/slides/KB.pdf https://galois.com/blog/2018/07/the-lean-theorem-prover- past-present-and-future/ https://florisvandoorn.com https://florisvandoorn.com/talks/JMM2019formalabstracts.pdf https://sites.google.com/site/thalespitt/ https://jiggerwit.wordpress.com/2014/05/21/27-formal-proof-p... https://jiggerwit.wordpress.com/2016/10/18/elliptic-curve-ad... https://arxiv.org/abs/1610.05278</p><p><a href="https://hackerpaper.kaipfister.de/p/1610.05278/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.AG