Experimental browser for the Atmosphere
{ "uri": "at://did:plc:hk5uktpndnycc7czqpcidzrd/app.bsky.graph.follow/3lmkih2n4bo2j", "cid": "bafyreiey42fhv74cwhec7dtlgfkoprtirsdm5ljheoegxe4wwii6xoho2y", "value": { "$type": "app.bsky.graph.follow", "subject": "did:plc:iu7uglgymktbnmp2rpyr5wlp", "createdAt": "2025-04-11T16:57:45.879Z" } }
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