Toutes les news taguées avec ce sujet.
Un développeur présente une bibliothèque Lean4 permettant de définir des règles d'autorisation façon Zanzibar, formellement vérifiables.
Un projet open source propose une bibliothèque d'intersection de maillages 3D avec preuve formelle, plutôt qu'un code généré par IA non vérifié.