Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
The Symbolics Ivory Design and Verification Strategy (1987)
(
archive.org
)
24 points
by
mepian
on Sept 14, 2024
|
hide
|
past
|
favorite
|
2 comments
paddy_m
on Sept 14, 2024
[–]
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
on Sept 14, 2024
|
parent
[–]
There is more if you search by the tag:
https://archive.org/search?query=subject%3A%22Symbolics%22
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://archive.org/search?query=creator%3A%22Symbolics%22