Experimental browser for the Atmosphere
Loading post...
{ "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.like/3lj4ftpbkf222", "cid": "bafyreid7roud6jzylzkkvjr3lch6han5suu3p6flztfyedhq44jt3pjl54", "value": { "$type": "app.bsky.feed.like", "subject": { "cid": "bafyreia722p5fcmm3gzqo277oycle2p4rp437letqcrcavwuwi3iozblge", "uri": "at://did:plc:d4aw3fhcpw56olgifomkige5/app.bsky.feed.post/3lj2tsfns5s2o" }, "createdAt": "2025-02-26T22:18:18.458Z" } }
lean 4 is super fun actually omg adam.math.hhu.de#/g/leanprove...
Feb 26, 2025, 7:22 AM