lean-language

Pramaana Labs raised $27M in seed funding led by Khosla Ventures to apply formal verification (using the LEAN programming language) to improve AI reliability in high-stakes domains like law, drug discovery, and tax preparation.