Functional Data Structures and Algorithms: a Proof Assistant Approach

(fdsa-book.net) by SchwKatze | Nov 27, 2025 | 29 comments on HN