' Verified Functional Algorithms
Andrew W. Appel



with contributions from
Andrew Tolmach and Michael Clarkson

Version 1.5.1 (2022-05-16 18:04, Coq 8.13 or later)