&Truth · $70M · Seed

&Truth, une startup misant sur l'IA pour rendre la vérification formelle des logiciels pratique, a été lancée avec un tour de table amorçage de 70 millions de dollars dans le cadre d'une vague de startups dans ce secteur.

Généré par IA : résumés rédigés par une IA à partir des sources citées. Notre usage de l'IA