Comment Comment by timcobb That's neat, what aspect(s) are you formalizing? That a given tax statement is correct? parent timcobb 2 days ago
