You say tex-deductible I sure think you meant LaTeX-deductible...
One can dream!
Wouldn't LaTex deductible be something like a math proof?
Does that mean you're asking for the donation to be in Lean?
One can dream!