- Home
- Top
- New
- Best
- Show
- Ask
- Jobs
- Search

Download on App Store

Get the latest tech news delivered straight to your iPhone or Mac with push notifications and widgets

Contact
© 2025 Zumi Studios

- Home
- Top
- New
- Best
- Show
- Ask
- Jobs
- Search

Download on App Store

Get the latest tech news delivered straight to your iPhone or Mac with push notifications and widgets

Contact
© 2025 Zumi Studios

Story

Functional Data Structures and Algorithms: a Proof Assistant Approach

SchwKatze Thursday, November 27, 2025

80 10

fdsa-book.net

Visit article Read on Hacker News Comments 10