| ▲ | pimeys a day ago | |
You say tex-deductible I sure think you meant LaTeX-deductible... | ||
| ▲ | rbr94 a day ago | parent | next [-] | |
One can dream! | ||
| ▲ | readthenotes1 a day ago | parent | prev [-] | |
Wouldn't LaTex deductible be something like a math proof? Does that mean you're asking for the donation to be in Lean? | ||