# Pramaana Labs raises USD27 million in seed financing

On 2026/6/18, according to Xiniu Data, Pramaana Labs raised USD27 million in seed financing. Investors were Khosla Ventures, Accel, Boldcap Ventures, Nexus Venture Partners, PremjiInvest, and Unbound. The company is a US provider of AI formal verification services.



Canonical: https://uniquebase.ai/news/1daa4438-8a48-4906-8123-2fd67ee45c3f
Stable identifier: 1daa4438-8a48-4906-8123-2fd67ee45c3f
Snapshot captured: 2026-10-15T18:31:34.288Z
English updated: 2026-10-15T20:41:33.797Z

## Connected profiles

- [Accel](/institutions/accel)
- [Boldcap Ventures](/institutions/boldcap-ventures)
- [Kesilafengtou](/institutions/kesilafengtou)
- [Nexus Venture Partners](/institutions/nexus-venture-partners)
- [Pramaana Labs](/companies/pramaana-labs)
- [Premji Invest](/institutions/premji-invest)
- [Unbound](/institutions/unbound)

## Sources

- No source links are available for this profile.