Functional Data Structures and Algorithms. A Proof Assistant Approach (via nextos) — discussion

#book #formalmethods #pdf #plt