# FormalProof AB (559509-3708)

Aktiebolag i Göteborg, registrerat 2024-12-09.

## Bokslut, bolaget (tkr)

| | 2024/25 |
|---|---:|
| Nettoomsättning | 1 587 |
| Rörelseresultat | 600 |
| Resultat efter finansiella poster | 600 |
| Årets resultat | 357 |
| Summa tillgångar | 724 |
| Omsättningstillgångar | 568 |
| Eget kapital | 382 |
| Aktiekapital | 25 |
| Fritt eget kapital | 357 |
| Obeskattade reserver | 150 |
| Kortfristiga skulder | 191 |
| Skatteskulder | 89 |
| Kassa och bank | 563 |
| Personalkostnader | 885 |
| Medelantal anställda | 1 |
| Soliditet | 69,3 % |
| Källa | [ÅR 2025-12-31](https://oppnabolag.se/v1/documents/41718f1f-f9fe-4328-89cc-ba52f895edb0.xhtml) |

## Årsredovisningar

- 2024/25, K2, undertecknad 2026-04-29: https://oppnabolag.se/v1/documents/41718f1f-f9fe-4328-89cc-ba52f895edb0.xhtml

## Undertecknade årsredovisningen 2024/25, 29 april 2026

- C*****

## Händelser

- vecka 18, 2026: Årsredovisningen för 2024/25 kom in
- 7 februari 2025: Fick namnet FormalProof AB
- 9 december 2024: Registrerades hos Bolagsverket

Datum ur Bolagsverkets register och årsredovisningarna. Ändringar sedan 5 oktober 2026 hittar Öppna bolag genom att jämföra Bolagsverkets veckofiler, och de räknas till veckan de registrerades.

## Registeruppgifter

- Organisationsnr: 559509-3708
- Status: Registrerat
- Registrerat: 9 december 2024
- Nuvarande namn: sedan 7 februari 2025
- Adress: C/o Carlos Tomé Cortiñas, Rosensköldsgatan 11, 412 58 Göteborg
- Verksamhet: Bolaget kommer att tillhandahålla konsulttjänster inom området formella metoder för blockchain-plattformar samt därmed förenlig verksamhet.
- Momsregistreringsnummer: SE559509370801 (organisationsnumret med SE före och 01 efter)
- Bransch: Datakonsultverksamhet (SNI 62201) (Källa: SCB)
- Säte: Göteborg, Västra Götalands län (Källa: SCB, egen bearbetning)
- Hos Skatteverket: F-skatt registrerat, moms registrerat, arbetsgivare registrerat (Källa: SCB, egen bearbetning)

Källa: Bolagsverket (registret 2026-11-09 och årsredovisningarna som de lämnats in), via https://oppnabolag.se/bolag/559509-3708/formalproof-ab. Öppna bolag är fristående från Bolagsverket. Källor, uppdatering och beräkningar: https://oppnabolag.se/om