logoalt Hacker News

pimeys • yesterday at 6:03 PM • 2 replies • view on HN

You say tex-deductible I sure think you meant LaTeX-deductible...


Replies

rbr94 • yesterday at 6:06 PM

One can dream!

readthenotes1 • yesterday at 6:16 PM

Wouldn't LaTex deductible be something like a math proof?

Does that mean you're asking for the donation to be in Lean?