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

(papers.ssrn.com) by demyanov | Feb 25, 2026 | 1 comments on HN