# content
The Symbolics Ivory Design and Verification Strategy (1987) (via mepian) — discussion

#hardware #lisp