https://hackerpaper.kaipfister.de/p/1905.05970/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=22058415urn:hackerpapers:mention:1905.05970:22058415Wed, 15 Jan 2020 20:53:11 GMT<p>Very cool! Ever looked at the Viper project? It&#x27;s the only other system in python that I know of targeting pre and post conditions https://www.pm.inf.ethz.ch/research/viper.html https://www.pm.inf.ethz.ch/research/nagini.html Another thing that might be of interest is HOLpy. I have no idea what the state of that is. https://arxiv.org/abs/1905.05970 I was fiddling around recently with way jankier methods than what you&#x27;ve done here http://www.philipzucker.com/programming-and-interactive-prov...</p><p><a href="https://hackerpaper.kaipfister.de/p/1905.05970/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LOhttps://news.ycombinator.com/item?id=19926951urn:hackerpapers:submission:1905.05970:19926951Thu, 16 May 2019 07:41:07 GMT<p>Holpy: Interactive Theorem Proving in Python</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/1905.05970/">Paper and source history</a>. A submission is not an endorsement.</p>cs.LO