Functional Algorithms, Verified (via nextos) — discussion

#formalmethods #pdf #plt