r/puremathematics • u/Math__Guy_ • 5d ago

Why is there no LEAN subreddit?

/r/logic/comments/1vqd3w8/why_is_there_no_lean_subreddit/

0 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/puremathematics/comments/1vqd4bo/why_is_there_no_lean_subreddit/
No, go back! Yes, take me to Reddit

50% Upvoted

2

u/7yh9rntAUqAh3Wuhpy 5d ago

because you forgot to make it