Hacker News new | ask | show | jobs
by baanist 613 days ago
Type Theory and Formal Proof (https://www.cambridge.org/core/books/type-theory-and-formal-...)