Program Proofs
Explore Program Proofs by K. Rustan M. Leino; Kaleb Leino: 4 Hacker News mentions from 2 participants in 2007-02-22–2026-11-01. Read original excerpts, compare opinions and save this book.
Share on XTHE HACKERBOOKS LIBRARY
Program Proofs
From the conversation
Latest 4 source recordsA mention is not an endorsement. Labels are automatically classified by the source. Follow the original discussion to verify the context.
JJtsummers
Recommendation · source labelThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsJJtsummers
Recommendation · source labelThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsJJtsummers
Recommendation · source labelThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsMmcguire
Recommendation · source labelThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker News