Hacker News new | past | comments | ask | show | jobs | submit | from login

Functional Data Structures and Algorithms: A Proof Assistant Approach (functional-algorithms-verified.org) 6 points by nextos 11 months ago | past Functional Algorithms, Verified (functional-algorithms-verified.org) 167 points by haskellandchill on Oct 15, 2021 | past | 43 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: