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