The Symbolics Ivory Design and Verification Strategy (1987) (archive.org) 24 points by mepian 1y ago ↗ HN
[–] paddy_m 1y ago ↗ Thank you. I saw that there's a wealth of other docs from Symbolics at archive.org. I will spend some time exploring.https://archive.org/search?query=creator%3A%22Symbolics%22 [–] mepian 1y ago ↗ There is more if you search by the tag: https://archive.org/search?query=subject%3A%22Symbolics%22
[–] mepian 1y ago ↗ There is more if you search by the tag: https://archive.org/search?query=subject%3A%22Symbolics%22
2 comments
[ 3.6 ms ] story [ 15.5 ms ] threadhttps://archive.org/search?query=creator%3A%22Symbolics%22