Experimental browser for the Atmosphere
{ "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.graph.follow/3limrrq4opl2c", "cid": "bafyreidvmja3sqelgcciiq4zic3nzwupsqp2xfpe6r3pedyx4l7qtcwiay", "value": { "$type": "app.bsky.graph.follow", "subject": "did:plc:iu7uglgymktbnmp2rpyr5wlp", "createdAt": "2025-02-20T17:09:21.176Z" } }
I code Lean because I love Lean. Lean is my main language. I use Lean for frontend, backend, and math. I just love Lean Charlie. This is my personal account that I post mainly in PT/BR