dan on Nostr: i'm formalizing React in Lean (???)
i'm formalizing React in Lean (???)
Published at
2026-08-22 23:08:12 UTCEvent JSON
{
"id": "48f1a14c76b83cbc3f0d2b297aa5f15dc93a60d6b7acb5d15c6f22b9ad4a0868",
"pubkey": "fab52bf0535b4585e8256046384632f3db0a34bc5d9f49a8f0378fe2be085429",
"created_at": 1787440092,
"kind": 1,
"tags": [
[
"proxy",
"https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mtpfdweafk2j",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "i'm formalizing React in Lean (???)",
"sig": "a0bcaaff8168fbcaac94c4ce20a57218eff02551918929603f1c0ec5a1b9c3ea5237f2afe2561a819aaa96a365cda3570f7b934922beb097fb14028fff7c208a"
}