Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI (opens in new tab)  ✅Software Verification

Pramaana will focus on highly sensitive verticals like law, drug discovery, and tax preparation — where errors can be costly and reliability is at a premium.