this is not proving things about JS code, but JS code is also not "React". the actual "React" is the intent behind it and the design spec. so my point is more that Lean is mature enough that you can use it for spec'ing software
the gamechanger is of course AI. it's great at Lean
dan
npub1l2…07c36
2026-08-22 23:12:52 UTC
in reply to nevent1q…ejen
Author Public Key
npub1l26jhuzntdzct6p9vprrs33j70ds5d9utk05n28sx78790sg2s5sm07c36Seen on
wss://relay.ditto.pubPublished at
2026-08-22 23:12:52 UTCEvent JSON
{
"id": "14fbb9143dd2fc51edad1c7b3a43fe523a9eff15951ea0e8a1eea028256f17d7",
"pubkey": "fab52bf0535b4585e8256046384632f3db0a34bc5d9f49a8f0378fe2be085429",
"created_at": 1787440372,
"kind": 1,
"tags": [
[
"e",
"1a3dca4a2e1415fc99b903089d486dc58b437733423f321633f16666ca1b01b8",
"wss://relay.ditto.pub",
"reply"
],
[
"proxy",
"https://bsky.brid.gy/convert/ap/at://did:plc:fpruhuo22xkm5o7ttr2ktxdo/app.bsky.feed.post/3mtpfmb6rsc27",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "this is not proving things about JS code, but JS code is also not \"React\". the actual \"React\" is the intent behind it and the design spec. so my point is more that Lean is mature enough that you can use it for spec'ing software\n\nthe gamechanger is of course AI. it's great at Lean",
"sig": "43322834d23a311618ebbd31b06cddb11620d6ed4a102aef64ac4efccbce0271db63b065dff9bec04e4ca59ece3eeae97f0b77da194fdf03ab40de8294eacd49"
}