Home/ informatique INFORMATIQUEU.S. tax code formalized using Lean programming languageA project uses the Lean language to formalize and verify the U.S. tax code.Published 38m·1 source Lire en françaisListen≈ 9sSpeed0.8×1×1.2×1.5×🔗Click the link to read an article on the topic:Hacker News (YC)↗🧭Explore this topicÉtats-Unis#code fiscal#Lean#formalisation#États-Unis#loiWhat if you saw the whole news differently?Factae cross-checks hundreds of sources worldwide to keep only the fact, no opinion. Explore the front page.→États-Unis · © OpenStreetMap, OpenMapTiles, OpenFreeMapWorld map →Follow topic →↗ Share the newsAuto-synthesis from 1 media source · identified on November 14, 2026← Back to home