demyanov Karma 3 Created 2 months ago About Researcher Recent Submissions 1. ▲ A formal proof that a tax system can function without compliance decisions (papers.ssrn.com) 4 points · 2 months ago · 1 comment All submissions on HN · View profile on HN