screwlisp on Nostr: npub14655c…32t35 Oh right. Though the books also function as books in that they are ...
npub14655cc6hltzuyfp2jkna67rendpr5c75phzcjt5klyup7sta6arql32t35 (npub1465…2t35)
Oh right. Though the books also function as books in that they are well-written for reading, right? Are they distributed with ACL2? I don't have an install handy right now.
npub1mmzmury46adgpn35h2jneasty6vtqqyvtvt5xx2c034m74eejecs0q3u0s (npub1mmz…3u0s) LisPi (npub1cu4…mcxv)
Oh right. Though the books also function as books in that they are well-written for reading, right? Are they distributed with ACL2? I don't have an install handy right now.
npub1mmzmury46adgpn35h2jneasty6vtqqyvtvt5xx2c034m74eejecs0q3u0s (npub1mmz…3u0s) LisPi (npub1cu4…mcxv)