Lisp & Scheme Weekly on Nostr: The Symbolics Ivory Design and Verification Strategy (1987) ...
The Symbolics Ivory Design and Verification Strategy (1987)
https://archive.org/details/ivory-design-verification
Discussions: https://discu.eu/q/https://archive.org/details/ivory-design-verification
#lisp #programming
https://archive.org/details/ivory-design-verification
Discussions: https://discu.eu/q/https://archive.org/details/ivory-design-verification
#lisp #programming