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.