Yaroslav Khnygin /
npub1kz0…vaa5
2024-02-17 21:30:03
in reply to nevent1q…74dg
Author Public Key
npub1kz0muz0cehys8wwxauh99yw8szwtetvd6axawesgenu64y743q0qtjvaa5Seen on
wss://relay.nostr.bandPublished at
2024-02-17 21:30:03Event JSON
{
"id": "b819738239722bff90f197ef27df21c4af19b6052f6fb14f71a0dcf296ef9c48",
"pubkey": "b09fbe09f8cdc903b9c6ef2e5291c7809cbcad8dd74dd76608ccf9aa93d5881e",
"created_at": 1708205403,
"kind": 1,
"tags": [
[
"p",
"290e6b4c745bac342bb9e69a459477b5328d0793dd6dfa81fe085fd61fbdafb3",
"wss://relay.mostr.pub"
],
[
"p",
"dec5be0c95d75a80ce34baa53cf60b2698b0008c5b174319587c6bbf57399671",
"wss://relay.mostr.pub"
],
[
"p",
"c72a3d0565a87f8b46ac5b8ab88a45f56cf67de2398a8cba8c6855cb3a39b0ea",
"wss://relay.mostr.pub"
],
[
"p",
"9e9c58006890e3e31e306e20518f236965f1d8ee97640175d74afb88769a7c4d",
"wss://relay.mostr.pub"
],
[
"p",
"d3a5fb243a0c6fc48f28ec3b959c724e628d9486cc2cb9732802e1c0acbc0add",
"wss://relay.mostr.pub"
],
[
"e",
"bf45957b35cb266473af6480d24cd4c15701d834df6a4693f87cebcc03e9a117",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mastodon.ie/users/surabax/statuses/111948949322601129",
"activitypub"
]
],
"content": "nostr:npub19y8xknr5twkrg2aeu6dyt9rhk5eg6punm4kl4q07pp0av8aa47esmvwxgj nostr:npub1mmzmury46adgpn35h2jneasty6vtqqyvtvt5xx2c034m74eejecs0q3u0s nostr:npub1cu4r6pt94plck34vtw9t3zj974k0vl0z8x9gew5vdp2ukw3ekr4qy2mcxv Yes, they are in ACL2's repository: https://github.com/acl2/acl2#acl2-books",
"sig": "3ea37595c7fa0c75f740c13e2772bed8c33bac6e0fcbde9abe7b465843128d5685907fbf33db63fb3c56a3e0d203f5d5d79bd9ac4a9365f8e170c6c2b827b1a1"
}