' Verified Functional Algorithms
Andrew W. Appel



with contributions from
Andrew Tolmach and Michael Clarkson

Version 1.5.3 (2023-03-25 11:49, Coq 8.16 or later)