samedi 14 novembre 2026sam. 14 nov.24 h : 913 faits · 155 rédactions · 22 pays

code fiscal

1 faits, 1 médias

Volume1 faits·31 jours

15/1014/11

Lieux

© 2026 Factae · Tous droits réservésDes signaux, du bruit, des faits…

Informatiqueil y a 52 min1 rédaction

Formalisation du code fiscal américain à l'aide du langage Lean

Un projet utilise le langage Lean pour formaliser et vérifier le code fiscal des États-Unis.

Cliquez sur un logo pour lire l’article