▲ 1 "Lisp: Programming and Proving" by John McCarthy and Carolyn Talcott (1980) (archive.org) by mself | Mar 21, 2026 | 1 comments on HN Visit Link