A Deductive System for Contract Satisfaction Proofs · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2604.09165/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:27:26 GMTA Deductive System for Contract Satisfaction Proofs — HN submissionhttps://news.ycombinator.com/item?id=47924043urn:hackerpapers:submission:2604.09165:47924043Mon, 27 Apr 2026 16:48:55 GMT<p>A Deductive System for (Hardware-Software) Contract Satisfaction Proofs</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2604.09165/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL