VLISP: A Verified Implementation of Scheme (1993) [pdf]mirror.informatimago.com75 pointsservytor4 years ago