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
Lisp & Scheme Weekly /
npub154…la3f0
2024-09-14 19:23:26
Author Public Key
npub154rw90phv502ad45ngmmtgu973nqe3u785gtx6s38j5umxs49vzq0la3f0Published at
2024-09-14 19:23:26Event JSON
{
"id": "d6f20c00f9a91bfa40bfcba3f6451cd343432b8d509af634f7d8318de5b5d5a3",
"pubkey": "a546e2bc37651eaeb6b49a37b5a385f4660cc79e3d10b36a113ca9cd9a152b04",
"created_at": 1726341806,
"kind": 1,
"tags": [
[
"t",
"lisp"
],
[
"t",
"programming"
],
[
"proxy",
"https://mastodon.social/users/lisp_discussions/statuses/113137536607999729",
"activitypub"
]
],
"content": "The Symbolics Ivory Design and Verification Strategy (1987)\n\nhttps://archive.org/details/ivory-design-verification\n\nDiscussions: https://discu.eu/q/https://archive.org/details/ivory-design-verification\n\n#lisp #programming",
"sig": "5b75e598ac6c1deda6dbed921ab4c37d0161fc23c22badcfa42244b4ae27095b8037cc7818b10014fc2b048cb0d26ead5d8b77650a09799fda749fbbde89dbf9"
}