bengo, 2 months ago https://github.com/slawsk/tax-formalization/blob/main/FormalizationReasoningPaper.pdf
https://github.com/slawsk/tax-formalization/blob/main/FormalizationReasoningPaper.pdf
Add comment