A formal proof that a tax system can function without compliance decisions

by demyanov | View on Hacker News