Certified Programming with Dependent Types
Explore Certified Programming with Dependent Types by Adam Chlipala: 38 Hacker News mentions from 31 participants in 2007-02-22–2026-11-01. Read original excerpts, compare opinions and save this book.
Share on XCertified Programming with Dependent Types
38 mentions · 31 participants · 25 recommenders
Book editionFrom the conversation
Latest 20 source recordsA mention is not an endorsement. Labels are automatically classified by the source. Follow the original discussion to verify the context.
This record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker News