npub1ty…kc7xf on Nostr: Back in Karlsruhe. Any friends of Lean at #GPN22?
Back in Karlsruhe. Any friends of Lean at #GPN22?
Published at
2024-05-30 10:45:10Event JSON
{
"id": "8a7137dacb28c53939467156544d877981415b043059b0d6d1711cf711f82789",
"pubkey": "5935234f07b968176f3b4173dbe7a62532c819a45d013255daf3a706fee05f0d",
"created_at": 1717065910,
"kind": 1,
"tags": [
[
"t",
"GPN22"
],
[
"proxy",
"https://functional.cafe/users/kha/statuses/112529631494245653",
"activitypub"
]
],
"content": "Back in Karlsruhe. Any friends of Lean at #GPN22?\n\nhttps://functional.cafe/system/media_attachments/files/112/529/630/105/785/163/original/a05e67c617aaf9a8.jpg",
"sig": "af4dad3b4da0bd0c047ddd38f85e56e4ea5bf7f4acaab1a5416ecaadec0f75bf11e9bd736049f036ff8c0c4cd09e87f2b432f60dd55e1b7abbebed01528a20ae"
}