npub1re…qaw97 on Nostr: Lean Lab: A good resource to learn LEAN.
Published at
2026-09-14 10:03:37 UTCEvent JSON
{
"id": "5670b60031544ee237dc27774bc1fd887f60b0073e2acebf345fe02bf9287468",
"pubkey": "1e67de3754171071d3cf9b44b6e546bd94fd0a2ca3fb4dbbb1b054685c9116e4",
"created_at": 1789380217,
"kind": 1,
"tags": [],
"content": "Lean Lab: https://leanlanguage.app \nA good resource to learn LEAN. \nhttps://leanlanguage.app/",
"sig": "23d9814874781cf3da176a94f52cc07e3b0cb22e993ebf0f723ea0df1142d7794070de8ff961531aa66f7234c2e7f0796dd5616fd351f2ad707e17b258f353ab"
}