' Verified Functional Algorithms
Andrew W. Appel



with contributions from
Andrew Tolmach and Michael Clarkson

Version 1.6.0 (2025-08-24 14:33, Coq 9.0.0 or later)