Product · mentioned 7 times
Open-source proof assistant and programming language used to formally verify mathematical proofs and formalise mathematics.
No connections recorded yet.
No Priors: Artificial Intelligence | Technology | Startups· 5 Nov
Vlad Tenev says mathematics has converged with coding, with mathematicians using the same tools, including version control and the Lean proof assistant for verification, and the field is accelerating rapidly.Entrepreneurial Thought Leaders (ETL)· 4 Nov
Carina Hong says Axiom Math uses the same formal mathematical reasoning stack it built for formal math to prove software and hardware, making it a company close to coding.