npub1ch…uhf02 on Nostr: LEAN looks like an interesting language
LEAN looks like an interesting language
Published at
2025-03-14 13:57:17 CETEvent JSON
{
"id": "6fd3d742289069fd1b358c59a9e51a4fe510472bb70009e9394781b6551d5a86",
"pubkey": "c5fb6ecc876e0458e3eca9918e370cbcd376901c58460512fe537a46e58c38bb",
"created_at": 1741957037,
"kind": 1,
"tags": [],
"content": "LEAN looks like an interesting language",
"sig": "282f777b91081957f8f225d2dd735dd4c63541a13f221f333a188816f96aba8228b9dcc78fa4f42d80d8626228814ce65b8e5966291a4fdf0129640d68e03501"
}