Rúnar’s Reviews > Functional Data Structures and Algorithms: A Proof Assistant Approach > Status Update

Rúnar

Rúnar wants to read Functional Data Structures and Algorithms: A Proof Assistant Approach — Nov 26, 2025 06:14PM

Functional Data Structures and Algorithms: A Proof Assistant Approach (ACM Books)

Like

Post a comment »
Comments

No comments have been added yet.

post a comment »