{"action":"buy","ceasedDate":null,"city":"Göteborg","country":"SE","county":"Västra Götalands län","elfAbbreviation":"AB","elfCode":"XJHM","elfName":"Aktiebolag","isCeased":false,"legalAddress":"C/O Carlos Tomé Cortiñas, Rosensköldsgatan 11","legalAddressType":"RegisteredAddress","legalFormLabel":"Aktiebolag","legalName":"FormalProof AB","lei":null,"leiStatus":null,"municipality":"Göteborg","postalCode":"41258","purpose":"Bolaget kommer att tillhandahålla konsulttjänster inom området formella metoder för blockchain-plattformar samt därmed förenlig verksamhet.","registrationDate":"2024-12-09","registrationNumber":"5595093708","registrationNumberFormatted":"559509-3708","registrationNumberNormalized":"5595093708","sniActivities":[{"code":"62201","description":"Datakonsultverksamhet","rank":1,"section":"K"}],"sniCode":"62201","sniDescription":"Datakonsultverksamhet","sniRevision":"2025","sniSection":"2025:K","source":"tic-se"}