De nouvelles méthodes et repères visent à simplifier la formalisation des mathématiques avec Lean 4.
― 8 min lire
La science de pointe expliquée simplement
De nouvelles méthodes et repères visent à simplifier la formalisation des mathématiques avec Lean 4.
― 8 min lire