CRM-114 on Nostr: npub1chplx…tl3fs Formally verified with theorem prover Microsoft Z3 + Recall
npub1chplxa6em50qca5le4ngc6vthmm4w6k7zwpuzvd0yz6wuqj930ksptl3fs (npub1chp…l3fs) Formally verified with theorem prover Microsoft Z3 + Recall
CRM-114 /
npub1t7u…8pcy
2024-07-06 04:20:29
in reply to nevent1q…vmvp
Author Public Key
npub1t7uwknnp0ejlwnx0uw2ftzp8vc477jfhvrc5q74xsy8klj5usy9sfv8pcyPublished at
2024-07-06 04:20:29Event JSON
{
"id": "885811455fac9e5cde5d4aa1db495df05fb78f8588daf40e5b7dfb4ee46e97b9",
"pubkey": "5fb8eb4e617e65f74ccfe394958827662bef493760f1407aa6810f6fca9c810b",
"created_at": 1720239629,
"kind": 1,
"tags": [
[
"p",
"c5c3f37759dd1e0c769fcd668c698bbef7576ade1383c131af20b4ee02458bed",
"wss://relay.mostr.pub"
],
[
"p",
"3d73298ff88854eb8ea60d8d6f2a1f770a14b16943c42645ccb68ba8a16253a6",
"wss://relay.mostr.pub"
],
[
"e",
"a0bb7bafbe31f7895a02b6fc5b3a09f4db33cc24ecaa9e29a7313edf2ff0d00c",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://ioc.exchange/users/flyingsaceur/statuses/112737624389693525",
"activitypub"
]
],
"content": "nostr:npub1chplxa6em50qca5le4ngc6vthmm4w6k7zwpuzvd0yz6wuqj930ksptl3fs Formally verified with theorem prover Microsoft Z3 + Recall",
"sig": "c4a3adc56e9614f6cb1029f3e90503eff7b513f72e190006a21ef6309d90f77e3a7426e2f6073dc98e257319c91afcc53d98a18ed5246f6e71d6df497a9717c3"
}