' Verified Functional Algorithms
Andrew W. Appel



with contributions from
Andrew Tolmach and Michael Clarkson

Version 1.5.6 (2025-01-06 19:53, Coq 8.20 or later)