Experimental browser for the Atmosphere
{ "uri": "at://did:plc:ucjqs5d4mfb2bii7ta7cpur2/app.bsky.graph.follow/3lnxpqsu57522", "cid": "bafyreiexorgwy7vmzybbvsxibe7tzmliltvsavxbjrkhloyhla7shbz5xi", "value": { "$type": "app.bsky.graph.follow", "subject": "did:plc:o6obroqg6477jsrg7hjfcdrj", "createdAt": "2025-04-29T16:38:18.380Z" } }
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com