Event JSON
{
"id": "8d464669fb77a6a4066c6a0bbfcc4a4a15f31c515847962d03b3a5bf2cd86a2c",
"pubkey": "2f0afd5abe64f93d8a7586063f781b69e63387bb9a54d5455cfce53f7b87ed06",
"created_at": 1730158016,
"kind": 1,
"tags": [
[
"p",
"ef628979189e0ec2b5470770795d771faf2c5c86991bb7cb78ae4f2070794209",
"wss://relay.mostr.pub"
],
[
"p",
"43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"wss://relay.mostr.pub"
],
[
"e",
"7c901865b751e127a5429af5cd53d1d142c5c04d75fbae7a2277b67bdf118409",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/boarders/statuses/113387635773025053",
"activitypub"
]
],
"content": "nostr:npub1aa3gj7gcnc8v9d28qac8jhthr7hjchyxnydm0jmc4e8jqureggysyfzykt Dummett’s program re-assessed in the light of formal proof assistants - you simply love to see it",
"sig": "ecc8cac5954fbb69395c79d75c2573db91feaaa820dcae30fe8f2c549ef2fa0e07ccc0be654e13590124d9461eab6ab2685e0cb1d4fcb79e76221f0c002eac18"
}
