Briefing 2026 June 18 | WITI
š¤ Tech & AI Pramaana Labs raises $27M from Khosla Ventures to bring formal verification to AI, targeting high-stakes verticals like law, drug discovery, and tax prep where errors are costly. TechCrunch Trump admin tries to block Clean Air Act lawsuit over xAI's gas turbines ā NAACP says Musk's xAI uā¦