Informatiqueil y a 6 h1 rédaction1rédactionFormalisation du code fiscal américain à l'aide du langage LeanUn projet utilise le langage Lean pour formaliser et vérifier le code fiscal des États-Unis.Cliquez sur un logo pour lire l’articleÉtats-UnisLirePartager