Y Combinator
@ycombinator
We help founders make something people want. Subscribe to our newsletter: yc.link/newsletter
ID: 113130846
http://ycombinator.com 10-02-2010 20:20:37
18,18K Tweet
1,4M Takipçi
336 Takip Edilen
Theorem (Theorem) is an AI-coding IDE for mission-critical software. They're making program verification 10,000 times faster, so your systems code does exactly what you asked for. Congrats on the launch, Jason Gross and Rajashree Agrawal! ycombinator.com/launches/NZA-t…