Lexifina beskriver hvordan de formaliserer det amerikanske skattereglementet ved hjelp av bevisassistenten Lean. Målet er å gjøre skatteregler presise og maskinverifiserbare.

Kilde: https://lexifina.com/blog/formalizing-the-us-tax-code