Pramaana Labs, which uses the LEAN programming language to build a deterministic verification layer on top of LLMs, raised a $27M seed led by Khosla Ventures (Russell Brandom/TechCrunch)

<a href="https://techcrunch.com/2026/06/17/pramaana-labs-raises-27-million-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai/"><img align="RIGHT" border="0" hspace="4" src="http://www.techmeme.com/260617/i28.jpg" vspace="4" /></a> <p><a href="https://www.techmeme.com/260617/p28#a260617p28" title="Techmeme permalink"><img height="12" src="http://www.techmeme.com/img/pml.png" style="border: none; padding: 0; margin: 0;" width="11" /></a> Russell Brandom / <a href="http://techcrunch.com/">TechCrunch</a>:<br /> <span style="font-size: 1.3em;"><b><a href="https://techcrunch.com/2026/06/17/pramaana-labs-raises-27-million-seed-round-from-khosla-ventures-to-bring-formal-verification-to-ai/">Pramaana Labs, which uses the LEAN programming language to build a deterministic verification layer on top of LLMs, raised a $27M seed led by Khosla Ventures</a></b></span>&nbsp; &mdash;&nbsp; As enterprises struggle to turn AI pilot programs into functional parts of their business, reliability has taken center stage.</p>