Functional Data Structures and Algorithms: a Proof Assistant Approach | Dark Hacker News

Dark Hacker News

new|best|ask|show|jobs

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

Functional Data Structures and Algorithms: a Proof Assistant Approach | Dark Hacker News

Functional Data Structures and Algorithms: a Proof Assistant Approach(fdsa-book.net)

115 points by SchwKatze 4 days ago | 28 comments