M mirror.informatimago.com VLISP: A Verified Implementation of Scheme (1993) [pdf] 75 points servytor 4 years ago 3 comments
