# FormalProof AB

- **Organisationsnummer:** 559509-3708
- **Bolagsform:** Aktiebolag
- **Status:** Verksamt
- **Registrerat:** 2024-12-09
- **Bransch:** Datakonsultverksamhet (SNI 62201)
- **Kommun:** Göteborg kommun
- **Län:** Västra Götalands
- **Besöksadress:** Rosensköldsgatan 11, 41258 Göteborg
- **Postadress:** Rosensköldsgatan 11, 41258 Göteborg

## Ekonomi

Ur senaste årsredovisningen hos Bolagsverket.

- **Nettoomsättning:** 1 587 tkr (räkenskapsåret som slutade 2025-12-31)
- **Rörelseresultat:** 600 tkr
- **Årets resultat:** 357 tkr
- **Eget kapital:** 382 tkr
- **Soliditet:** 69,3 %
- **Anställda:** 1

## Verksamhet enligt bolagsordningen

Bolaget kommer att tillhandahålla konsulttjänster inom området formella metoder för blockchain-plattformar samt därmed förenlig verksamhet.

## SNI-koder

- 62201 – Datakonsultverksamhet

---

Källa: Näringslivscentralen (https://naringslivscentralen.se/foretag/5595093708), byggt på SCB:s företagsregister och Bolagsverkets öppna data.