Experimental browser for the Atmosphere
{ "uri": "at://did:plc:iw4ngu7e6vevjog34kermab3/app.bsky.graph.follow/3lmjtkceruq2e", "cid": "bafyreicx6i44boammhftdhjt5mbwc7jrriltapmgjhslnvuglkfvcwb5v4", "value": { "$type": "app.bsky.graph.follow", "subject": "did:plc:2homcaztqhnck6iq7egcwhq3", "createdAt": "2025-04-11T10:43:44.473Z" } }
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.