u/Math__Guy_

I feel like LEAN and MathLib have gotten super popular in the last year or so, curious as to why there isn't a subreddit yet...

I need a list of the best and most widely loved math textbooks as well as a good list of beautifully-designed math textbook covers.

What do y'all think fit this description?

[supprimé]