Functional Data Structures and Algorithms: A Proof Assistant Approachfunctional-algorithms-verified.org6 points·nextos··0 commentsOpen articleSaveView on HN